3 files changed, 6 insertions, 0 deletions
diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex
index 44a0b1d361..1a9d4d738f 100644
--- a/doc/stdlib/Library.tex
+++ b/doc/stdlib/Library.tex
@@ -5,6 +5,7 @@
 \usepackage[T1]{fontenc}
 \usepackage{fullpage}
 \usepackage{amsfonts}
+\usepackage{amssymb}
 \usepackage{url}
 \usepackage[color]{../../coqdoc}
 
diff --git a/doc/stdlib/hidden-files b/doc/stdlib/hidden-files
index 67d0b37e81..3af16cb731 100644
--- a/doc/stdlib/hidden-files
+++ b/doc/stdlib/hidden-files
@@ -44,6 +44,7 @@ theories/micromega/Refl.v
 theories/micromega/RingMicromega.v
 theories/micromega/Tauto.v
 theories/micromega/VarMap.v
+theories/micromega/ZArith_hints.v
 theories/micromega/ZCoeff.v
 theories/micromega/ZMicromega.v
 theories/micromega/ZifyInst.v
@@ -52,6 +53,7 @@ theories/micromega/ZifyComparison.v
 theories/micromega/ZifyClasses.v
 theories/micromega/ZifyPow.v
 theories/micromega/Zify.v
+theories/nsatz/NsatzTactic.v
 theories/nsatz/Nsatz.v
 theories/omega/Omega.v
 theories/omega/OmegaLemmas.v
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 7fa621c11c..4a62888552 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -13,6 +13,7 @@ through the <tt>Require Import</tt> command.</p>
     The core library (automatically loaded when starting Coq)
   </dt>
   <dd>
+    theories/Init/Ltac.v
     theories/Init/Notations.v
     theories/Init/Datatypes.v
     theories/Init/Logic.v
@@ -98,6 +99,7 @@ through the <tt>Require Import</tt> command.</p>
   <dd>
     theories/Bool/Bool.v
     theories/Bool/BoolEq.v
+    theories/Bool/BoolOrder.v
     theories/Bool/DecBool.v
     theories/Bool/IfProp.v
     theories/Bool/Sumbool.v
@@ -444,6 +446,7 @@ through the <tt>Require Import</tt> command.</p>
     theories/Sorting/PermutSetoid.v
     theories/Sorting/Mergesort.v
     theories/Sorting/Sorted.v
+    theories/Sorting/CPermutation.v
   </dd>
 
   <dt> <b>Wellfounded</b>: