diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile new file mode 100644 index 0000000..6be417c --- /dev/null +++ b/docs/Makefile @@ -0,0 +1,34 @@ +MMARK :=mmark +TXT := $(patsubst %.md,%.txt,$(wildcard *.md)) +XML := $(patsubst %.md,%.xml,$(wildcard *.md)) +HTML := $(patsubst %.md,%.html,$(wildcard *.md)) +PDF := $(patsubst %.md,%.pdf,$(wildcard *.md)) + +txt: $(TXT) + +%.txt: %.xml + xml2rfc --text --v3 -P $< + rm -f $(basename $<).xml + awk 'FNR<=4 || (FNR>=19 && FNR<=46) {next} {print}' $(basename $<).txt > tmp.txt + mv tmp.txt $(basename $<).txt + +html: $(HTML) + +%.html: %.xml + xml2rfc --html --v3 $< + rm -f $(basename $<).xml + +xml: $(XML) + +%.xml: %.md + $(MMARK) $< > $(basename $<).xml + +pdf: $(PDF) + +%.pdf: %.xml + xml2rfc --pdf --v3 $< + rm $(basename $<).xml + +.PHONY: clean +clean: + rm -f *.txt *.xml |