- schhist/gitsch2ps: added option -c to keep cache.lib
- schhist/gitsch2ps: remove cache.lib unless -c is set
- schhist/gitsch2ps: added missing space in warning when the profile is
missing
- schhist/gitsch2ps: issue a (fatal) error only if .pro and .sch are missing
- schhist/gitsch2ps: exit with success if only one of .pro and .sch is
missing
- schhist/schhist2web: skip commits for which no Postscript was generated
- schhist/gitsch2ps: new option -k to keep the cloned repository and print
the path name of the temporary directory on standard output
- schhist/gitsch2ps: invoked "git clone" with -q to suppress progress
output on standard output