diff options
| -rw-r--r-- | docs/blog-tutorial.txt (renamed from docs/BlogTutorial.txt) | 0 | ||||
| -rwxr-xr-x | docs/rebuild | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/docs/BlogTutorial.txt b/docs/blog-tutorial.txt index fdc0762..fdc0762 100644 --- a/docs/BlogTutorial.txt +++ b/docs/blog-tutorial.txt 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 |