From 5677b59ea408ceec6e5acb0dab2ec5723f53cad2 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sun, 1 Mar 2020 10:40:54 -0600 Subject: [PATCH] add coqdoc parameter improvements from RegLang --- Makefile.coq.local | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile.coq.local b/Makefile.coq.local index a82e4a2..d697475 100644 --- a/Makefile.coq.local +++ b/Makefile.coq.local @@ -5,7 +5,8 @@ HTMLFILES = resources/header.html resources/footer.html COQDOCDIR = docs/coqdoc COQDOCHTMLFLAGS = --toc --toc-depth 2 --index indexpage --html \ - --interpolate --no-lib-name --parse-comments \ + --external 'https://math-comp.github.io/htmldoc/' mathcomp \ + --interpolate --no-lib-name --parse-comments \ --with-header resources/header.html --with-footer resources/footer.html coqdoc: $(GLOBFILES) $(VFILES) $(CSSFILES) $(JSFILES) $(HTMLFILES)