diff --git a/Makefile b/Makefile index d5ea683..feeb30d 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,11 @@ # https://pypi.python.org/pypi/xml2rfc xml2rfc ?= xml2rfc # mmark (https://github.com/miekg/mmark) -mmark ?= mmark +mmark ?= mmark -xml2 -page +ifneq (,$(XML_LIBRARY)) + mmark += -bib-id $(XML_LIBRARY) -bib-rfc $(XML_LIBRARY) +endif + DRAFT = draft-jennings-4572bis VERSION = 00 @@ -24,7 +28,7 @@ clean: $(xml2rfc) -N $< -o $@ --html $(DRAFT)-$(VERSION).xml: $(DRAFT).md - mmark -xml2 -page -bib-id $(XML_LIBRARY)/ -bib-rfc $(XML_LIBRARY)/ $^ $@ + $(mmark) -xml2 -page $< $@ $(DRAFT).diff.html: $(DRAFT)-$(VERSION).txt $(DRAFT)-old.txt htmlwdiff $(DRAFT)-old.txt $(DRAFT)-$(VERSION).txt > $(DRAFT).diff.html diff --git a/draft-jennings-4572bis.md b/draft-jennings-4572bis.md index 9a671ba..4e2f14d 100644 --- a/draft-jennings-4572bis.md +++ b/draft-jennings-4572bis.md @@ -7,7 +7,7 @@ area = "ART" [pi] - symrefs = "no" + symrefs = "yes" sortrefs = "yes" toc = "yes"