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
..
dir-tmpl
Makefile	Print a human-readable warning and die if $INFODIR do not exist.	1998-05-09 22:15:19 +00:00