diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-03-19 20:56:43 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-03-19 20:56:43 +0000 |
| commit | 509cd11ac957c0ff97cbe9a0cd50852c74095e36 (patch) | |
| tree | aeadbbc55f35b9c572a4f76084bb5ec7a5c9e401 /doc/stdlib/make-library-index | |
| parent | 0157aadd967fcba870fb9bf74ea2af7671105efc (diff) | |
migration of the old IntMap library from StdLib to a user contrib (Cachan/IntMap)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10699 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/stdlib/make-library-index')
| -rwxr-xr-x | doc/stdlib/make-library-index | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/stdlib/make-library-index b/doc/stdlib/make-library-index index 7da0f1f53..a4aad6c90 100755 --- a/doc/stdlib/make-library-index +++ b/doc/stdlib/make-library-index @@ -7,7 +7,7 @@ FILE=$1 cp -f $FILE.template tmp echo -n Building file index-list.prehtml ... -LIBDIRS="Init Logic Bool Arith NArith ZArith QArith Relations Sets Setoids Lists Sorting Wellfounded IntMap FSets Reals Ints Ints/num Ints/Z Program Numbers Numbers/Natural/Abstract Numbers/Natural/Peano Numbers/Natural/Binary Numbers/Integer/Abstract Numbers/Integer/NatPairs Numbers/Integer/Binary Numbers/NatInt Strings" +LIBDIRS="Init Logic Bool Arith NArith ZArith QArith Relations Sets Setoids Lists Sorting Wellfounded FSets Reals Ints Ints/num Ints/Z Program Numbers Numbers/Natural/Abstract Numbers/Natural/Peano Numbers/Natural/Binary Numbers/Integer/Abstract Numbers/Integer/NatPairs Numbers/Integer/Binary Numbers/NatInt Strings" for k in $LIBDIRS; do i=theories/$k |