Commits

Fred Drake  committed a05085a

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

  • Participants
  • Parent commits 489656d
  • Branches legacy-trunk

Comments (0)

Files changed (2)

File Doc/.cvsignore

 *.zip
 *.tar
 pkglist.html
+.doctype

File Doc/tools/push-docs.sh

     DOCTYPE="devel"
 fi
 
+DOCTYPE_SPECIFIED=false
 EXPLANATION=''
 ANNOUNCE=true
 
           ;;
       -t)
           DOCTYPE="$2"
+          DOCTYPE_SPECIFIED=true
           shift 2
           ;;
       -F)
     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 $?