- schhist/gitsch2ps: option -D to give _gitsch2ps a unique name, to copy
the Postscript files instead of moving them, and to refrain from deleting
_gitsch2ps
- schhist/schhist2web: option -D to refrain from deleting _gitsch2ps and
to pass -D to gitsch2ps