Minor update to the Official push process

official/README.md

@@ -99,22 +99,12 @@ few, very semantically distinct commits).  Rebase from the
 docbook-prince branch of https://github.com/lojban/cll/ .  In other
 words, get all the usual git ducks in a row.
 
-Then you *MUST* tag your release!
+Once your changes are committed and pushed,
+you *MUST* tag your release!
 
-The following is the complete list of tags to make, assuming you
-have updated everything and intend to push the result everywhere;
-modify as appropriate:
+    $ scripts/update_official -t -v 1.1 [assuming the version is still 1.1]
 
-    $ git tag v1.1-[date]-mobi
-    $ git tag v1.1-[date]-pdf
-    $ git tag v1.1-[date]-html
-    $ git tag v1.1-[date]-epub
-    $ git tag v1.1-[date]-print
-
-where "date" is the release date, i.e. something like "2017-07-13".
-Obviously you can increment the release number too if appropriate.
-
-You will then need to run:
+If nothing goes wrong, you will then need to run:
 
     $ git push --all
     $ git push --tags

scripts/update_official

@@ -13,16 +13,18 @@ usage() {
   echo "-x -- builds xhtml"
   echo "-e -- builds epub"
   echo "-m -- builds mobi"
+  echo "-t -- makes tags"
   exit
 }
 
 xhtml=""
 pdf=""
 epub=""
 mobi=""
+tags=""
 version=""
 
-while getopts "v:hpxem" opt
+while getopts "v:hpxemt" opt
 do
   case "$opt" in
     p)    pdf="yes"
@@ -33,6 +35,8 @@ do
           ;;
     m)    mobi="yes"
           ;;
+    t)    tags="yes"
+          ;;
     v)    version="$OPTARG";;
     [?h]) usage;;
   esac
@@ -51,7 +55,7 @@ then
   exit 1
 fi
 
-if [ ! "$pdf" -a ! "$xhtml" -a ! "$epub" -a ! "$mobi" ]
+if [ ! "$pdf" -a ! "$xhtml" -a ! "$epub" -a ! "$mobi" -a ! "$tags" ]
 then
   echo "At least one build type is required."
   echo
@@ -106,3 +110,12 @@ then
   rm official/cll_v${version}_book.pdf
   ln -s cll_v${version}_${dateish}.pdf official/cll_v${version}_book.pdf
 fi
+
+if [ "$tags" ]
+then
+    git tag v${version}-${dateish}-mobi
+    git tag v${version}-${dateish}-pdf
+    git tag v${version}-${dateish}-html
+    git tag v${version}-${dateish}-epub
+    git tag v${version}-${dateish}-print
+fi