Guido van Rooij 725585340b Adjust man page: if command is specified, file name is mandatory		1999-11-24 15:47:45 +00:00
..
Makefile
script.1	Adjust man page: if command is specified, file name is mandatory	1999-11-24 15:47:45 +00:00
script.c