Joachim Reichel d61e62bb97 remove section about DESTDIR which is not meant to be used that way ... fix some typos		2008-12-14 22:31:57 +00:00
..
Installation	remove section about DESTDIR which is not meant to be used that way	2008-12-14 22:31:57 +00:00
installation_manual.tex	Add closing parenthesis	2008-12-10 07:49:06 +00:00