dodoc.sh

   1 #!/bin/sh
   2 #
   3 # This script is called from the post-update hook, and when
   4 # the master branch is updated, run in $HOME/git-doc, like
   5 # this:
   6 : <<\END_OF_COMMENTARY
   7
   8 $ cat >hooks/post-update
   9 #!/bin/sh
  10 case " $* " in
  11 *' refs/heads/master '*)
  12         echo $HOME/git-doc/dodoc.sh | at now
  13         ;;
  14 esac
  15 exec git-update-server-info
  16 $ chmod +x hooks/post-update
  17
  18 END_OF_COMMENTARY
  19
  20 # $HOME/git-doc is a clone of the git.git repository and
  21 # has the master branch checkd out.  We update the working
  22 # tree and build pre-formatted documentation pages, install
  23 # in doc-htmlpages and doc-manapges subdirectory here.
  24 # These two are their own git repository, and when they are
  25 # updated the updates are pushed back into their own branches
  26 # in git.git repository.
  27
  28 ID=`git-rev-parse --verify refs/heads/master` || exit $?
  29
  30 unset GIT_DIR
  31
  32 PUBLIC=/pub/software/scm/git/docs &&
  33 MASTERREPO=`pwd` &&
  34 DOCREPO=`dirname "$0"` &&
  35 test "$DOCREPO" != "" &&
  36 cd "$DOCREPO" || exit $?
  37
  38 git pull "$MASTERREPO" master &&
  39 test $(git-rev-parse --verify refs/heads/master) == "$ID" ||  exit $?
  40
  41 # Set up subrepositories
  42 test -d doc-htmlpages || (
  43         mkdir doc-htmlpages &&
  44         cd doc-htmlpages &&
  45         git init-db || exit $?
  46
  47         if SID=$(git fetch-pack "$MASTERREPO" html)
  48         then
  49                 git update-ref HEAD `expr "$SID" : '\(.*\) .*'` &&
  50                 git checkout || exit $?
  51         fi
  52 )
  53 test -d doc-manpages || (
  54         mkdir doc-manpages &&
  55         cd doc-manpages &&
  56         git init-db || exit $?
  57
  58         if SID=$(git fetch-pack "$MASTERREPO" man)
  59         then
  60                 git update-ref HEAD `expr "$SID" : '\(.*\) .*'` &&
  61                 git checkout || exit $?
  62         fi
  63 )
  64 find doc-htmlpages doc-manpages -type d -name '.git' -prune -o \
  65         -type f -print0 | xargs -0 rm -f
  66
  67 cd Documentation &&
  68 make WEBDOC_DEST="$DOCREPO/doc-htmlpages" install-webdoc >../:html.log 2>&1 &&
  69
  70 if test -d $PUBLIC
  71 then
  72         make WEBDOC_DEST="$PUBLIC" install-webdoc >>../:html.log 2>&1
  73 else
  74         echo "* No public html at $PUBLIC"
  75 fi || exit $?
  76
  77 cd ../doc-htmlpages &&
  78     git add . &&
  79     if git commit -a -m "Autogenerated HTML docs for $ID"
  80     then
  81         git-send-pack "$MASTERREPO" master:refs/heads/html || {
  82             echo "* HTML failure"
  83             exit 1
  84         }
  85     else
  86         echo "* No changes in html docs"
  87     fi
  88
  89 cd ../Documentation &&
  90 make man1="$DOCREPO/doc-manpages/man1" man7="$DOCREPO/doc-manpages/man7" \
  91         install >../:man.log 2>&1 &&
  92
  93 cd ../doc-manpages &&
  94     git add . &&
  95     if git commit -a -m "Autogenerated man pages for $ID"
  96     then
  97         git-send-pack "$MASTERREPO" master:refs/heads/man || {
  98             echo "* man failure"
  99             exit 1
 100         }
 101     else
 102         echo "* No changes in manual pages"
 103     fi
 104