fix docs

hferee · Jan 17, 2024 · 6790d2f · 6790d2f
1 parent b9c90fc
commit 6790d2f
Show file tree

Hide file tree

Showing 13 changed files with 3 additions and 2 deletions.
diff --git 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 → docs/ISL.Environments.html b/html/ISL.Environments.html → docs/ISL.Environments.html
diff --git a/html/ISL.Formulas.html → docs/ISL.Formulas.html b/html/ISL.Formulas.html → docs/ISL.Formulas.html
diff --git a/html/ISL.Order.html → docs/ISL.Order.html b/html/ISL.Order.html → docs/ISL.Order.html
diff --git a/html/ISL.PropQuantifiers.html → docs/ISL.PropQuantifiers.html b/html/ISL.PropQuantifiers.html → docs/ISL.PropQuantifiers.html
diff --git a/html/ISL.SequentProps.html → docs/ISL.SequentProps.html b/html/ISL.SequentProps.html → docs/ISL.SequentProps.html
diff --git a/html/ISL.Sequents.html → docs/ISL.Sequents.html b/html/ISL.Sequents.html → docs/ISL.Sequents.html
diff --git a/html/config.js → docs/config.js b/html/config.js → docs/config.js
diff --git a/html/coqdoc.css → docs/coqdoc.css b/html/coqdoc.css → docs/coqdoc.css
diff --git a/html/coqdocjs.css → docs/coqdocjs.css b/html/coqdocjs.css → docs/coqdocjs.css
diff --git a/html/coqdocjs.js → docs/coqdocjs.js b/html/coqdocjs.js → docs/coqdocjs.js
diff --git a/html/indexpage.html → docs/indexpage.html b/html/indexpage.html → docs/indexpage.html
diff --git a/html/toc.html → docs/toc.html b/html/toc.html → docs/toc.html