/makeshortindex.pl/1.1.1.1/Mon Feb  7 02:21:18 2000//
/maketexts.pl/1.1.1.1/Mon Feb  7 02:21:18 2000//
/loadpath.se/1.4/Wed Feb 16 04:11:18 2000//
/makedocs.sh/1.3/Wed Feb 16 04:13:54 2000//
D
