Wolfram Schneider 3ce0e3e0e9 fix `make -n' if using git ... PR: 222631		2017-09-28 17:00:22 +00:00
..
books	fix `make -n' if using git	2017-09-28 17:00:22 +00:00
htdocs
share/xml	Remove obsolete variable definitions.	2013-11-13 08:05:17 +00:00
Makefile
Makefile.inc