diff options
Diffstat (limited to 'doc/common/styles/html/coqremote/cover.html')
-rw-r--r-- | doc/common/styles/html/coqremote/cover.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html index cf4e81814..f4809a487 100644 --- a/doc/common/styles/html/coqremote/cover.html +++ b/doc/common/styles/html/coqremote/cover.html @@ -94,7 +94,7 @@ <ul class="menu"> -<li class="leaf"><a href="cover.html">Cover</a></li> +<li class="leaf"><a href="index.html">Cover</a></li> <li class="leaf"><a href="toc.html">Table of contents</a></li> <li class="leaf">Index |