From 353eb61703f64f6d0f520720fdb0d08a1cf727c3 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 11 Dec 2015 16:54:22 +0100
Subject: coqdoc + interactive graph browsing

It is still rough, but better than nothing.
---
 htmldoc/Makefile | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 htmldoc/Makefile

(limited to 'htmldoc/Makefile')

diff --git a/htmldoc/Makefile b/htmldoc/Makefile
new file mode 100644
index 0000000..5386dca
--- /dev/null
+++ b/htmldoc/Makefile
@@ -0,0 +1,32 @@
+H=@
+
+ifeq "$(COQBIN)" ""
+COQBIN=$(dir $(shell which coqtop))/
+endif
+
+SRC=$(shell cd ../mathcomp; ls */*.v | grep -v ssrtest/ | grep -v attic/)
+HEAD=$(shell git symbolic-ref HEAD)
+ifeq "$(HEAD)" "refs/heads/master"
+LAST=$(shell git tag -l --sort=v:refname "mathcomp-*" | tail -n 1)
+RELEASED=$(shell git show $(LAST):mathcomp/Make | grep 'v *$$' | cut -d / -f 2 | cut -d . -f 1)
+endif
+
+all:
+	$(H) git diff-index --quiet HEAD ||\
+		(echo error: uncommitted files; exit 1)
+	$(H) cd ../mathcomp;\
+		$(COQBIN)/coqdep -R . mathcomp $(SRC) 2>/dev/null |\
+			grep -v vio: > ../htmldoc/depend
+	$(H) cat depend | ./buildlibgraph cytoscape $(RELEASED) > depend.js
+	$(H) . ../etc/utils/builddoc_lib.sh; \
+		cd ../mathcomp; mangle_sources $(SRC)
+	$(H) make -C ../mathcomp clean
+	$(H) make -C ../mathcomp -j2
+	$(H) cd ../mathcomp; $(COQBIN)/coqdoc -t "Mathematical Components"\
+	       	-g --utf8 -R . mathcomp \
+        	--parse-comments \
+		--multi-index $(SRC) -d ../htmldoc/
+	$(H) cp ../etc/artwork/coqdoc.css .
+	$(H) cd ../mathcomp; git checkout $(SRC)
+	
+
-- 
cgit v1.2.3