Jan Nieuwenhuizen 6d64e55500 Prepare for 0.1 release: make install. ... * make/install.make (install): Install documentation.		2016-10-16 08:14:50 +02:00
..
install.make	Prepare for 0.1 release: make install.	2016-10-16 08:14:50 +02:00