Matthew Flatt 20af636cfb fix "racket-index" package installed in user scope ... When the "racket-index" package is in user scope, then the the documentation-build process should not try to write to "doc" in the installation. Merge to v6.0		2013-11-28 08:47:55 -07:00
..
collects	fix "racket-index" package installed in user scope	2013-11-28 08:47:55 -07:00
src	fix an error message	2013-11-26 18:19:54 -07:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00