From 2d31a42aa3c2dacabc0cf005b45fc7bb4e6383e9 Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Tue, 30 Apr 2019 14:48:37 +0200
Subject: Reimplement the hierarchy related tools in OCaml

The functionalities of the structure hierarchy related tools `hierarchy-diagram`
and `hierarchy_test.py` are provided by an OCaml script `hierarchy.ml`.
`test_suite/hierarchy_test.v` is deleted. Now make can generate it.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 2858e3f..48e5735 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,6 +22,7 @@ mathcomp/ssrmatching.mli
 mathcomp/ssrmatching.v
 mathcomp/ssreflect_plugin.mllib
 mathcomp/ssreflect_plugin.mlpack
+mathcomp/test_suite/hierarchy_test.v
 mathcomp-*.tar.gz
 *#
 htmldoc/mathcomp.*html
-- 
cgit v1.2.3