diff --git a/Makefile b/Makefile index 02f99ba..e23c6d5 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,7 @@ EXTRA_DIR:= doc-config COQDOCFLAGS:= \ --toc --toc-depth 2 --html --interpolate \ + -d docs \ --index indexpage --no-lib-name --parse-comments \ --with-header $(EXTRA_DIR)/header.html --with-footer $(EXTRA_DIR)/footer.html export COQDOCFLAGS @@ -12,10 +13,10 @@ makefile.coq: coq_makefile -f _CoqProject -o $@ doc: makefile.coq - rm -fr html + rm -fr html docs/* COQDOCEXTRAFLAGS='--external $(PUBLIC_URL)' @$(MAKE) -f makefile.coq html - cp $(EXTRA_DIR)/resources/* html + cp $(EXTRA_DIR)/resources/* html/* docs -include makefile.coq diff --git a/html/ISL.Environments.html b/docs/ISL.Environments.html similarity index 100% rename from html/ISL.Environments.html rename to docs/ISL.Environments.html diff --git a/html/ISL.Formulas.html b/docs/ISL.Formulas.html similarity index 100% rename from html/ISL.Formulas.html rename to docs/ISL.Formulas.html diff --git a/html/ISL.Order.html b/docs/ISL.Order.html similarity index 100% rename from html/ISL.Order.html rename to docs/ISL.Order.html diff --git a/html/ISL.PropQuantifiers.html b/docs/ISL.PropQuantifiers.html similarity index 100% rename from html/ISL.PropQuantifiers.html rename to docs/ISL.PropQuantifiers.html diff --git a/html/ISL.SequentProps.html b/docs/ISL.SequentProps.html similarity index 100% rename from html/ISL.SequentProps.html rename to docs/ISL.SequentProps.html diff --git a/html/ISL.Sequents.html b/docs/ISL.Sequents.html similarity index 100% rename from html/ISL.Sequents.html rename to docs/ISL.Sequents.html diff --git a/html/config.js b/docs/config.js similarity index 100% rename from html/config.js rename to docs/config.js diff --git a/html/coqdoc.css b/docs/coqdoc.css similarity index 100% rename from html/coqdoc.css rename to docs/coqdoc.css diff --git a/html/coqdocjs.css b/docs/coqdocjs.css similarity index 100% rename from html/coqdocjs.css rename to docs/coqdocjs.css diff --git a/html/coqdocjs.js b/docs/coqdocjs.js similarity index 100% rename from html/coqdocjs.js rename to docs/coqdocjs.js diff --git a/html/indexpage.html b/docs/indexpage.html similarity index 100% rename from html/indexpage.html rename to docs/indexpage.html diff --git a/html/toc.html b/docs/toc.html similarity index 100% rename from html/toc.html rename to docs/toc.html