diff --git a/Makefile b/Makefile index af77e31..e924263 100644 --- a/Makefile +++ b/Makefile @@ -3,15 +3,8 @@ include lib/main.mk lib/main.mk: git submodule update --init -drafts_html := $(drafts_html) im.html - im.html: python check/check.py --html --output im.html draft-ietf-sacm-information-model.xml -impages: $(GHPAGES_TMP) im.html - cp im.html $(GHPAGES_TMP) - cp -r css/* $(GHPAGES_TMP) - ls -R $(GHPAGES_TMP) - ghpages: im.html diff --git a/check/check.py b/check/check.py index 3a39bc9..63b9d21 100644 --- a/check/check.py +++ b/check/check.py @@ -435,13 +435,21 @@ def main(): print("", file=fout) print("
", file=fout) print("