1 files changed, 6 insertions, 0 deletions
diff --git a/docs/rebuild b/docs/rebuild
index ca98789..d09b0ed 100755
--- a/docs/rebuild
+++ b/docs/rebuild
@@ -28,3 +28,9 @@ for NAME in $DOCTEST_BUILD ; do
 done
 
 chmod +x web/index.html
+
+cp include/reference_header.txt reference.txt
+echo ":extracted: `date`" >> reference.txt
+echo >> reference.txt
+python ../paste/docsupport/extract.py paste >> reference.txt
+rst2html.py reference.txt > reference.html