diff options
Diffstat (limited to 'htmldoc/buildlibgraph')
| -rwxr-xr-x | htmldoc/buildlibgraph | 2 |
1 files changed, 1 insertions, 1 deletions
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 |