From d54b8dff818f0b1218df14cfb2b813da93154fa9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 12 Apr 2018 09:54:36 +0200
Subject: remove ssrtest: it now belongs to Coq

---
 htmldoc/Makefile      | 2 +-
 htmldoc/buildlibgraph | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'htmldoc')

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
-- 
cgit v1.2.3