diff options
Diffstat (limited to 'Documentation/GNUmakefile')
-rw-r--r-- | Documentation/GNUmakefile | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/Documentation/GNUmakefile b/Documentation/GNUmakefile deleted file mode 100644 index df5c706..0000000 --- a/Documentation/GNUmakefile +++ /dev/null @@ -1,33 +0,0 @@ -all:: - -PANDOC = pandoc -PANDOC_OPTS = -f markdown --email-obfuscation=none -pandoc = $(PANDOC) $(PANDOC_OPTS) -pandoc_html = $(pandoc) --toc -t html --no-wrap - -man1 := $(addsuffix .1,rainbows) -html1 := $(addsuffix .html,$(man1)) - -all:: html man - -html: $(html1) -man: $(man1) - -install-html: html - mkdir -p ../doc/man1 - install -m 644 $(html1) ../doc/man1 - -install-man: man - mkdir -p ../man/man1 - install -m 644 $(man1) ../man/man1 - -%.1: %.1.txt - $(pandoc) -s -t man < $< > $@+ && mv $@+ $@ -%.1.html: %.1.txt - $(pandoc_html) < $< > $@+ && mv $@+ $@ - -comparison.html: comparison.haml - haml -t ugly < $< > $@+ && mv $@+ $@ - -clean:: - $(RM) $(man1) $(html1) comparison.html |