Emanuel Haupt 413a4efb06 Add convert-makefile-header.pl, a perl script that converts old style Makefile ... headers to the new format. Feature safe: yes		2012-10-29 12:18:43 +00:00
..
scripts	Add convert-makefile-header.pl, a perl script that converts old style Makefile	2012-10-29 12:18:43 +00:00
make_index
make_readmes	Fix readme building.	2011-08-12 06:56:44 +00:00