Peter Eisentraut fc6603ff75 Advertise --help (rather than '-?') as help option (problems with csh). ... Accept --help even if no general long options support exists.		2000-11-25 19:05:44 +00:00
..
initlocation.sh	Advertise --help (rather than '-?') as help option (problems with csh).	2000-11-25 19:05:44 +00:00
Makefile	Support for DESTDIR make variable. This is used as in `make install	2000-09-17 13:02:52 +00:00