doc-src/ROOT

--- a/doc-src/ROOT	Tue Aug 28 13:04:15 2012 +0200
+++ b/doc-src/ROOT	Tue Aug 28 13:09:01 2012 +0200
@@ -194,6 +194,16 @@
     "document/build"
     "document/root.tex"
 
+session Nitpick (doc) in "Nitpick" = Pure +
+  options [document_variants = "nitpick"]
+  theories
+  files
+    "../pdfsetup.sty"
+    "../iman.sty"
+    "../manual.bib"
+    "document/build"
+    "document/root.tex"
+
 session ProgProve (doc) in "ProgProve" = HOL +
   options [document_variants = "prog-prove", show_question_marks = false]
   theories