Exclude PDF docs from website CVS. Quick fix to filter urls

diff --git a/.cvsignore b/.cvsignore
index ecae4b828067d4bed15329644d8464ede9b80b6a..ca2e0fe81b9a350bfe0187b3c3bfda79ee23afa9 100644 (file)
--- a/.cvsignore
+++ b/.cvsignore
@@ -1,3 +1,5 @@
+# $Cambridge$
 .mirror
 ftp
 exim-html-*
+exim-pdf-*

diff --git a/docs.html b/docs.html
index 0391203bc9356e90bdbb4f0f6c5aae7e906c1414..ae74f654b1195e253ac184d79a55ac46aaf0a09e 100644 (file)
--- a/docs.html
+++ b/docs.html
@@ -44,7 +44,7 @@
       <!-- one of (dd dt) -->
       <dt>
  <b>
-   <a href="exim-html-4.60/doc/html/filter_toc.html">
+   <a href="exim-html-4.60/doc/html/filter.html">
    The Exim Filter Specification - Version 4.6x</a>
  </b>
    <a href="exim-pdf-4.60/doc/filter.pdf" target="_top">