Matthew Flatt 9b78847be0 add unix-style makefile target ... Also, revise "INSTALL.txt" to better explain the build options.		2014-05-20 09:01:40 +01:00
..
collects	make struct/dc cooperate better with check syntax so that the struct name gets an arrow	2014-05-19 13:35:26 -05:00
src	add unix-style makefile target	2014-05-20 09:01:40 +01:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00