diff options
| author | Fred Drake <fdrake@acm.org> | 2004-11-13 17:45:39 (GMT) |
|---|---|---|
| committer | Fred Drake <fdrake@acm.org> | 2004-11-13 17:45:39 (GMT) |
| commit | 1681b622515e2c174d59e79746579e71339adc04 (patch) | |
| tree | d2f74e1220f1b1573180ed191402eb854da057f3 /Doc/tools | |
| parent | bbc0d4409c4edc43d9f9b38bff089fd63f43734a (diff) | |
| download | cpython-1681b622515e2c174d59e79746579e71339adc04.zip cpython-1681b622515e2c174d59e79746579e71339adc04.tar.gz cpython-1681b622515e2c174d59e79746579e71339adc04.tar.bz2 | |
add another way to specify an alternate name for the documentation set,
so that this is harder to forget to do for development of new styles
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/push-docs.sh | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh index 6dd74e2..28a4b31 100755 --- a/Doc/tools/push-docs.sh +++ b/Doc/tools/push-docs.sh @@ -26,6 +26,7 @@ else DOCTYPE="devel" fi +DOCTYPE_SPECIFIED=false EXPLANATION='' ANNOUNCE=true @@ -55,6 +56,7 @@ while [ "$#" -gt 0 ] ; do ;; -t) DOCTYPE="$2" + DOCTYPE_SPECIFIED=true shift 2 ;; -F) @@ -99,9 +101,17 @@ else exit 2 fi +# switch to .../Doc/ cd .. -# now in .../Doc/ +# If $DOCTYPE was not specified explicitly, look for .doctype in +# .../Doc/ and use the content of that file if present. +if $DOCTYPE_SPECIFIED ; then + : +elif [ -f .doctype ] ; then + DOCTYPE="`cat .doctype`" +fi + make --no-print-directory ${PKGTYPE}html || exit $? PACKAGE="html-$VERSION.$PKGEXT" scp "$PACKAGE" tools/update-docs.sh $TARGET/ || exit $? |