2 commits

Author	SHA1	Message	Date
Tom Willemsen	759b8b0cf9	Add more documentation formats to Makefile ... `dvi', `pdf' and `ps' can be compiled/installed by explicitly specifying `make FORMAT' or `make install-FORMAT'.	2013-01-06 15:10:37 +01:00
Tom Willemsen	71e54b6a61	Ignore binaries and other generated files	2012-12-28 22:56:30 +01:00