diff options
| author | ianb <devnull@localhost> | 2005-05-21 22:36:03 +0000 |
|---|---|---|
| committer | ianb <devnull@localhost> | 2005-05-21 22:36:03 +0000 |
| commit | dcd0b57a4b048d2207707e1571ee511a19d2a074 (patch) | |
| tree | 31a721f3ac13da82a996df46bd9337a118bf093f /docs/rebuild | |
| parent | 07af6795491547ca17d87b3fe2a8e589f96c52f7 (diff) | |
| download | paste-dcd0b57a4b048d2207707e1571ee511a19d2a074.tar.gz | |
Added build process for reference docs
Diffstat (limited to 'docs/rebuild')
| -rwxr-xr-x | docs/rebuild | 6 |
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 |