Chris D. Faulhaber 5f6da00d2e Remove DESTDIR which is already included in DOCDIR. ... Submitted by: jhay		2002-05-31 10:37:22 +00:00
..
Makefile	Remove DESTDIR which is already included in DOCDIR.	2002-05-31 10:37:22 +00:00
Makefile.inc
Makefile.maninc	Turn blank lines into .Pp . This does not significantly change the	2002-04-21 18:41:29 +00:00