diff options
Diffstat (limited to 'man/Makefile')
| -rw-r--r-- | man/Makefile | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/man/Makefile b/man/Makefile deleted file mode 100644 index eb6ec29f..00000000 --- a/man/Makefile +++ /dev/null @@ -1,8 +0,0 @@ - -chocolate-doom.6: chocolate-doom-options.in head foot Makefile doom-options.in - cp head $@ - echo .SH DOOM OPTIONS >> $@ - awk -F"\t" '{print ".TP\n\\fB"$$1"\\fR"; $$1=""; print }' < doom-options.in >>$@ - echo .SH CHOCOLATE\\-DOOM OPTIONS >> $@ - awk -F"\t" '{print ".TP\n\\fB"$$1"\\fR"; $$1=""; print }' < chocolate-doom-options.in >>$@ - m4 -DAUTHORS="`cat ../AUTHORS`" foot >> $@ |