Wolfram Schneider 886b5531c5 the "install" target should not depend on "all" ... this fix the issue with the failing: make -C en_US.ISO8859-1/htdocs/ports -j1 install PR: 222626		2017-09-29 08:51:42 +00:00
..
articles	fix `make -n' if using git	2017-09-27 07:29:27 +00:00
books	Clearer wording for when GitHub is not default group	2017-09-28 19:21:19 +00:00
captions
flyer
htdocs	the "install" target should not depend on "all"	2017-09-29 08:51:42 +00:00
share/xml	Add the teaching mailing list.	2017-09-24 11:23:52 +00:00
slides
Makefile
Makefile.inc