diff options
Diffstat (limited to 'docs/rebuild')
| -rwxr-xr-x | docs/rebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/rebuild b/docs/rebuild index de59ef4..26d2dae 100755 --- a/docs/rebuild +++ b/docs/rebuild @@ -7,7 +7,7 @@ export PYTHONPATH=$parent:$PYTHONPATH NORMAL="DeveloperGuidelines Paste servers StyleGuide web/index \ what-is-paste testing-applications" -DOCTEST_BUILD="BlogTutorial TodoTutorial" +DOCTEST_BUILD="blog-tutorial TodoTutorial" for NAME in $NORMAL ; do if [ -e "$NAME.html" -a ! "$NAME.html" -ot "$NAME.txt" ] ; then |