3 Commits

Author	SHA1	Message	Date
Marcus Jaschen	5f4fa6a3c6	Declare Makefile targets as `PHONY` ... By default, targets in Makefiles maps to files. This isn't the case here as the targets are used as simple 'shortcuts'. That kind of target should be declared as "phony", as described in the manual: https://www.gnu.org/software/make/manual/html_node/Phony-Targets.html	2016-12-12 14:52:57 +01:00
Frederic Guillot	920e522c9e	Replace shell-script by Makefile to make a new archive	2016-07-30 18:29:54 -04:00
Frederic Guillot	27d094c19e	Do not use anymore Closure compiler for Javascript	2016-07-30 18:01:37 -04:00