diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-11-07 09:30:02 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-07 09:30:02 -0800 |
| commit | aef7803ebf8704b90e310edabfa4d13f3e1cb0a0 (patch) | |
| tree | 7697d8898986254f10fce99b0ffc9e9496f48fc9 /man | |
| parent | 2e3ab1464f9e4e8b00ebb15ea0f5a0afd2df7263 (diff) | |
Removed man/Makefile. Put target in main Makefile.
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 |