The Racket repository

Eli Barzilay c1cc293cd5 When DESTDIR ends with a '/', dirs.ss spits out directories with '//' ... in them, which caused problems with main-collects not identifying paths as paths in the plt tree. The solution is to use expand-path for these things, which normalizses multiple slashes to a single one. While I'm at it, I did the same for dirs.ss, so it produces more consistent paths for code that might want to rely on it. (Also did some reformatting.) svn: r4477		2006-10-04 17:36:08 +00:00
collects	When DESTDIR ends with a '/', dirs.ss spits out directories with '//'	2006-10-04 17:36:08 +00:00
doc	352.6 notes	2006-09-19 01:02:12 +00:00
man/man1	update command-line flags, purge PLTHOME	2006-05-24 20:27:51 +00:00
src	fix regexp bug in checking too far for regmust	2006-10-01 21:46:48 +00:00