diff options
| author | Enrico Tassi | 2018-04-20 10:34:04 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-04-20 10:34:04 +0200 |
| commit | 09bebb67443c0512e01d2c32f4207e09e93f4956 (patch) | |
| tree | 1b88236cab5e750861008e44014ef6114b4010dc /htmldoc | |
| parent | 32496ef57916dc9fc24b53f52832ef29cf206468 (diff) | |
| parent | d54b8dff818f0b1218df14cfb2b813da93154fa9 (diff) | |
Merge remote-tracking branch 'origin/pr/189'
Diffstat (limited to 'htmldoc')
| -rw-r--r-- | htmldoc/Makefile | 2 | ||||
| -rwxr-xr-x | htmldoc/buildlibgraph | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/htmldoc/Makefile b/htmldoc/Makefile index 5386dca..d565125 100644 --- a/htmldoc/Makefile +++ b/htmldoc/Makefile @@ -4,7 +4,7 @@ ifeq "$(COQBIN)" "" COQBIN=$(dir $(shell which coqtop))/ endif -SRC=$(shell cd ../mathcomp; ls */*.v | grep -v ssrtest/ | grep -v attic/) +SRC=$(shell cd ../mathcomp; ls */*.v | 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) diff --git a/htmldoc/buildlibgraph b/htmldoc/buildlibgraph index 8544f1f..b7b91d0 100755 --- a/htmldoc/buildlibgraph +++ b/htmldoc/buildlibgraph @@ -157,6 +157,6 @@ for i=2,#arg do end _G[arg[1]]() --- $COQBIN/coqdep -R . mathcomp */*.v | grep -v vio: | grep -v ssrtest > depend +-- $COQBIN/coqdep -R . mathcomp */*.v | grep -v vio: > depend -- cat depend | ./graph.lua dot | tee depend.dot | dot -T png -o depend.png -- cat depend | ./graph.lua cytoscape `git show release/1.6:mathcomp/Make | grep 'v *$' | cut -d / -f 2 | cut -d . -f 1` > depend.js |