doc/src/rtd/publish_man.sh

   1 #/usr/bin/env bash
   2 # vim: sw=4 ts=4 noet :
   3
   4 #==================================================================================
   5 #       Copyright (c) 2020 Nokia
   6 #       Copyright (c) 2020 AT&T Intellectual Property.
   7 #
   8 #   Licensed under the Apache License, Version 2.0 (the "License");
   9 #   you may not use this file except in compliance with the License.
  10 #   You may obtain a copy of the License at
  11 #
  12 #       http://www.apache.org/licenses/LICENSE-2.0
  13 #
  14 #   Unless required by applicable law or agreed to in writing, software
  15 #   distributed under the License is distributed on an "AS IS" BASIS,
  16 #   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  17 #   See the License for the specific language governing permissions and
  18 #   limitations under the License.
  19 #==================================================================================
  20
  21 # build separate man pages as .rst files and publish to the scrapable directory if
  22 # there are changes. We build the .rst and if it is different than what is in the
  23 # scarper directory we will copy it over there.  We inject a title so that the
  24 # RTD scripts won't object.
  25
  26 sdir="../../../docs"    # the scraper dir
  27
  28 if [[ ! -d $sdir ]]
  29 then
  30         echo "cannot find scraper directory: $sdir"
  31         exit 1
  32 fi
  33
  34 mkdir -p stuff
  35 ls -al ../man/*.xfm|sed 's!^.*man/!!' | while read x
  36 do
  37         if [[ $x != *".7.xfm" ]]
  38         then
  39                 out=stuff/${x%.*}.rst
  40                 target=${sdir}/${out##*/}
  41
  42                 INPUT_FILE=${x%%.*} GEN_TITLE=1 LIB=".." OUTPUT_TYPE=rst tfm ../man/$x stdout 2>/dev/null | sed 's/^ //' >$out
  43                 new_m5=$( md5sum $out | sed 's/ .*//' )
  44                 if [[ ! -f $target || $new_m5 != $( md5sum $target | sed 's/ .*//' ) ]]
  45                 then
  46                         cp $out $target
  47                 fi
  48
  49                 echo "${target##*/}"
  50
  51                 rm $out
  52         fi
  53 done
  54
  55 rmdir stuff