Wolfram Schneider 5b44ce4f91 Print a human-readable warning and die if $INFODIR do not exist. ... PR: bin/6138 Reviewed by: bde		1998-05-09 22:15:19 +00:00
..
Makefile	…
dir-tmpl	…