diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/include/reference_header.txt | 5 | ||||
| -rwxr-xr-x | docs/rebuild | 6 |
2 files changed, 11 insertions, 0 deletions
diff --git a/docs/include/reference_header.txt b/docs/include/reference_header.txt new file mode 100644 index 0000000..9b73f85 --- /dev/null +++ b/docs/include/reference_header.txt @@ -0,0 +1,5 @@ +Paste Reference Document +@@@@@@@@@@@@@@@@@@@@@@@@ + +.. contents:: + 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 |