Add URL for cached copy of paper as SGML comment.

diff --git a/doc/src/sgml/biblio.sgml b/doc/src/sgml/biblio.sgml
index c0e77110eda38d8306f80b1d2f9fd4aadc484df6..c4a4b04a66fa6aad7d8b79f2ed25bb769f1a01fc 100644 (file)
--- a/doc/src/sgml/biblio.sgml
+++ b/doc/src/sgml/biblio.sgml
@@ -1,4 +1,4 @@
-
+
 
  
   Bibliography
@@ -327,6 +327,10 @@ [email protected]
    
    
     <ulink url="http://simon.cs.cornell.edu/home/praveen/papers/partindex.de95.ps.Z"></div>
<div class="diff add">+<!-- </div>
<div class="diff add">+     above URL is invalid, cached copy at</div>
<div class="diff add">+     http://citeseer.ist.psu.edu/seshadri95generalized.html</div>
<div class="diff add">+--></div>
<div class="diff ctx">     Generalized Partial Indexes</div>
<div class="diff ctx">     </ulink></div>
<div class="diff ctx">