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 and empty dir template.	1997-01-11 02:44:34 +00:00
Makefile	Print a human-readable warning and die if $INFODIR do not exist.	1998-05-09 22:15:19 +00:00