dodoc.sh

   1 #!/bin/sh
   2
   3 # "git-doc" is a clone of the git.git repository and has the master
   4 # branch checked out. We update the working tree and prepare
   5 # preformatted documentation pages, and install them in doc-htmlpages
   6 # and doc-manapges subdirectories. When they are updated, they are
   7 # pushed back into their own repositories next to the git.git
   8 # repository.
   9
  10 unset GIT_DIR
  11
  12 : ${TOP=/srv/project/git}
  13
  14 MASTERREPO=$TOP/git.git/
  15 MANREPO=$TOP/git-manpages.git/
  16 HTMLREPO=$TOP/git-htmldocs.git/
  17
  18 target_repo () {
  19         TARGETVAR=$(echo "$1"REPO | tr 'a-z' 'A-Z') &&
  20         eval "echo \$$TARGETVAR"
  21 }
  22
  23 DOCREPO=$(pwd) ;# "git-doc"
  24 exec >:doc.log 2>&1
  25
  26 ID=$(cd "$MASTERREPO" && git rev-parse --verify refs/heads/master) || exit $?
  27
  28 tmp=`pwd`/.doctmp-$$
  29 trap 'rm -f "$tmp".*' 0
  30
  31 (
  32         git pull --ff-only "$MASTERREPO" master &&
  33         git fetch --tags "$MASTERREPO"
  34 ) || exit $?
  35
  36 test $(git rev-parse --verify refs/heads/master) = "$ID" &&
  37 NID=$(git describe --abbrev=4 "$ID") &&
  38 test -n "$NID" ||  exit $?
  39
  40 git reset --hard
  41
  42 # Set up subrepositories
  43 for type in man html
  44 do
  45         test -d doc-${type}pages && continue
  46         (
  47                 git init doc-${type}pages &&
  48                 cd doc-${type}pages || exit
  49                 TARGETREPO=$(target_repo $type) &&
  50                 git pull "$TARGETREPO" master
  51         ) &&
  52         rm -fr doc-$type-inst &&
  53         mkdir -p doc-$type-inst &&
  54         (
  55                 cd doc-${type}pages && git archive HEAD
  56         ) |
  57         (
  58                 cd doc-$type-inst && tar xf -
  59         )
  60 done
  61
  62 # The below used to contain this instead...
  63 # MAN_BASE_URL="http://www.kernel.org/pub/software/scm/git/docs/"
  64 dd='
  65         ASCIIDOC_NO_ROFF=YesPlease
  66         ASCIIDOC8=YesPlease
  67         MAN_BASE_URL="git-htmldocs/"
  68         BLK_SHA1=YesPlease
  69         GNU_ROFF=YesPlease
  70 '
  71
  72 case "$NID" in
  73 ?*-?*) ;;
  74 ?*)
  75         make clean &&
  76         rm -fr doc-html-inst doc-man-inst &&
  77         mkdir doc-html-inst doc-man-inst || exit
  78         ;;
  79 esac
  80
  81 DIFF=diff
  82 export DIFF
  83
  84 make \
  85         -C Documentation -j 2 $dd \
  86         WEBDOC_DEST="$DOCREPO/doc-html-inst" install-webdoc || exit
  87
  88 make \
  89         -C Documentation -j 2 $dd \
  90         man1="$DOCREPO/doc-man-inst/man1" \
  91         man5="$DOCREPO/doc-man-inst/man5" \
  92         man7="$DOCREPO/doc-man-inst/man7" \
  93         man1dir="$DOCREPO/doc-man-inst/man1" \
  94         man5dir="$DOCREPO/doc-man-inst/man5" \
  95         man7dir="$DOCREPO/doc-man-inst/man7" install || exit
  96
  97 for type in html man
  98 do
  99         find doc-$type-inst -type f |
 100         while read path
 101         do
 102                 it=$(expr "$path" : doc-$type-inst/'\(.*\)') || continue
 103                 t="doc-${type}pages/$it"
 104                 test -f "$t" && diff -q "$path" "$t" && continue
 105                 mkdir -p "$(dirname "$t")" &&
 106                 echo ": $t" && rm -f "$t" && ln "$path" "$t" || exit
 107                 ( cd doc-${type}pages && git add "$it" )
 108         done || exit
 109
 110         find doc-$type-inst -type f |
 111         sed -e 's|^doc-'$type'-inst/||' | sort >"$tmp.1" &&
 112         (cd doc-${type}pages && git ls-files | sort) >"$tmp.2" &&
 113         comm -13 "$tmp.1" "$tmp.2" |
 114         ( cd doc-${type}pages && xargs rm -f -- ) || exit
 115
 116         (
 117                 cd doc-${type}pages
 118
 119                 case "$type" in
 120                 html)
 121                         TYPE='HTML docs'
 122                         rm -f index.html
 123                         ln -sf git.html index.html
 124                         git add index.html
 125                         ;;
 126                 man)
 127                         TYPE='manpages'
 128                         ;;
 129                 esac
 130
 131                 if git commit -a -m "Autogenerated $TYPE for $NID"
 132                 then
 133                         TARGETREPO=$(target_repo $type) &&
 134                         git push "$TARGETREPO" master:master
 135                 else
 136                         echo "* No changes in $type docs"
 137                 fi
 138         ) || exit
 139 done
 140
 141 echo '
 142
 143 *** ALL DONE ***
 144 '