summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-11-30 12:16:28 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-11-30 12:16:28 -0800
commitd0571571f1f20343622214e6e919e509c43a93b9 (patch)
tree65028b7652ae9e26f62577a0a402cc224de7a26f /Makefile
parent75be85f77f02c8185e8fff607bf3ccf3c8fe3a11 (diff)
Removed markdown intermediary for man 1 page.
See #224.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 0 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index a39eb2e..3a29dc4 100644
--- a/Makefile
+++ b/Makefile
@@ -71,9 +71,6 @@ clean:
$(PROG): all
-man/man1/cmark.1: man/cmark.1.md
- mkdir -p man/man1 && pandoc -t man -s $< -o $@
-
man/man3/cmark.3: src/cmark.h
python man/make_man_page.py $< > $@