Docs: bug notes

diff --git a/doc/doc-docbook/spec.xfpt b/doc/doc-docbook/spec.xfpt
index 93a18c8461d85c4fc765b03ee6e87c1752e453fc..588afe1d248d7865ab97b8af85d14756e32789ba 100644 (file)
--- a/doc/doc-docbook/spec.xfpt
+++ b/doc/doc-docbook/spec.xfpt
@@ -219,6 +219,8 @@
 . at the top level, so we have to put the .chapter directive first.
 
 . These do not turn up in the HTML output, unfortunately.  The PDF does get them.
+. - Worse - they introduce bugus index entries in the HTML, under the
+.  "primary term", a link to the Introduction chapter.
 . /////////////////////////////////////////////////////////////////////////////
 
 .chapter "Introduction" "CHID1"
@@ -348,6 +350,10 @@
   <primary>headers</primary>
   <see><emphasis>header lines</emphasis></see>
 </indexterm>
+. <indexterm role="concept">
+.   <primary>de-tainting</primary>
+.   <see><emphasis>tainted data</emphasis></see>
+. </indexterm>
 
 .literal off