diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-06-03 11:07:08 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-06-03 11:07:08 +0200 |
| commit | 9f3be24242f5397886875b51eaee7392a4aba473 (patch) | |
| tree | 2b5160a744fa279401dc1229ae3106aee59bd49b /doc/stdlib | |
| parent | b1c087788900f99fa78ca032d96f9fa0151694bc (diff) | |
Fix build of documentation (broken for four months).
Diffstat (limited to 'doc/stdlib')
| -rw-r--r-- | doc/stdlib/index-list.html.template | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index a12983ab8..fb45777e7 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -21,6 +21,7 @@ through the <tt>Require Import</tt> command.</p> theories/Init/Peano.v theories/Init/Specif.v theories/Init/Tactics.v + theories/Init/Tauto.v theories/Init/Wf.v (theories/Init/Prelude.v) </dd> @@ -203,6 +204,7 @@ through the <tt>Require Import</tt> command.</p> (theories/QArith/QArith.v) theories/QArith/Qreals.v theories/QArith/Qcanon.v + theories/QArith/Qcabs.v theories/QArith/Qround.v theories/QArith/QOrderedType.v theories/QArith/Qminmax.v |