V10/cmd/docgen/timestamp.c

Compare this file to the similar file:
Show the results in this format:

#include <stdio.h>
main(argc, argv)
char *argv[];
{
	long mtime, getstamp();
	char *filename;
	filename = argv[1];
	mtime = getstamp(filename);
	printf(".ds s) %ld\n",mtime);
}