Matthew Flatt c55e38fa09 finish up main page: release notes, etc.; add Yavuz's errortrace scribbling ... svn: r8314 original commit: d532fe478182376c2553b1371f8dc837181ae297		2008-01-13 14:53:54 +00:00
collects	remove the now-redundant main-doc option	2008-01-11 02:29:49 +00:00
doc/release-notes/mred	finish up main page: release notes, etc.; add Yavuz's errortrace scribbling	2008-01-13 14:53:54 +00:00
man/man1	add setup-plt and mzc man pages	2008-01-05 23:41:46 +00:00