diff options
Diffstat (limited to 'man')
-rw-r--r-- | man/Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/man/Makefile b/man/Makefile deleted file mode 100644 index f5a5fad..0000000 --- a/man/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -ALL=man1/cmark.1 - -.PHONY: all - -all: $(ALL) -man1/%.1: %.1.md - pandoc $< -o $@ -s -t man |