diff --git a/minplayer/makefile b/minplayer/makefile index 26425282..705ef8cc 100644 --- a/minplayer/makefile +++ b/minplayer/makefile @@ -60,9 +60,6 @@ fixjsstyle: ${files} # Install the necessary tools. tools: - apt-get install python-setuptools - apt-get install unzip - easy_install http://closure-linter.googlecode.com/files/closure_linter-latest.tar.gz wget http://jsdoc-toolkit.googlecode.com/files/jsdoc_toolkit-2.4.0.zip -P tools unzip tools/jsdoc_toolkit-2.4.0.zip -d tools mv tools/jsdoc_toolkit-2.4.0/jsdoc-toolkit tools/jsdoc-toolkit diff --git a/tools/README.md b/tools/README.md new file mode 100644 index 00000000..cca552e5 --- /dev/null +++ b/tools/README.md @@ -0,0 +1,5 @@ +This is a tools folder used to run the makefile. You can easily get all the +necessary tools by navigating to the player folder within Terminal, and then +type the following command. + + sudo make -B tools