Matthew Flatt e2ee051adc raco setup: avoid duplicate "scribble.css" files, improve style customization ... Arrange for documentation added through an installation-wide package to use the installation's "scribble.css", etc., files. Also, add "doc-site.css" and "doc-site.js" files (both empty) to allow installation-specific customization that will not get overwritten by document installs or builds.		2013-09-06 20:02:05 -06:00
..
collects	raco setup: avoid duplicate "scribble.css" files, improve style customization	2013-09-06 20:02:05 -06:00
src	remove bad return	2013-09-04 08:44:49 -06:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00