meso-web

Sources of the |Méso|Star> website
git clone git://git.meso-star.com/meso-web.git
Log | Files | Refs | README | LICENSE

01-generate-man.sh (2345B)

      1 #!/bin/sh
      2 
      3 # Copyright (C) 2017-2026 |Méso|Star> (contact@meso-star.com)
      4 #
      5 # This file is part of Méso-Web.
      6 #
      7 # Méso-Web is free software: you can redistribute it and/or modify
      8 # it under the terms of the GNU General Public License as published by
      9 # the Free Software Foundation, either version 3 of the License, or
     10 # (at your option) any later version.
     11 #
     12 # Méso-Web is distributed in the hope that it will be useful,
     13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
     14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
     15 # GNU General Public License for more details.
     16 #
     17 # You should have received a copy of the GNU General Public License
     18 # along with Méso-Web. If not, see <http://www.gnu.org/licenses/>.
     19 
     20 set -e
     21 
     22 . "./config.sh.in"
     23 
     24 ########################################################################
     25 # Helper function
     26 ########################################################################
     27 man_pages()
     28 {
     29   find "${dir}/share/man" -name "schiff*.[15]"
     30 }
     31 
     32 # Man to convert is submitted on stdin
     33 man2html() # output_filename
     34 {
     35   {
     36     cd ..
     37     sty-genhead "${OLDPWD##*/}/$1"
     38     mandoc -O man=../man%S/%N.%S.html,fragment -I os=UNIX -T html
     39     cat ./templates/footer.html
     40     cd "${OLDPWD}"
     41   } \
     42   | sed -e 's/<a class="Xr"[^>]\{0,\}>csplit(1)<\/a>/<a class "Xr">csplit(1)<\/a>/g' \
     43   > "$1"
     44 }
     45 
     46 ########################################################################
     47 # The script
     48 ########################################################################
     49 man_pages | while read -r i; do
     50   filename="$(basename "${i}")"
     51   section="${filename##*.}"
     52 
     53   if ! [ -d "./man/man${section}" ]; then
     54     mkdir -p "./man/man${section}";
     55   fi
     56 
     57   dst="man/man${section}/${filename}.html"
     58   man2html "${dst}" < "${i}"
     59 
     60   # Check the result of the HTML conversion. Do this operation from the
     61   # parent directory so that tidy displays the file name relative to the
     62   # location where the make command is invoked. This makes the message
     63   # clearer for the user.
     64   cd ..
     65   if ! tidy --show-info no --show-filename yes -qe "${OLDPWD##*/}/${dst}"; then
     66     >&2 printf '%s: error converting %s\n' "${0##*/}" "${i}"
     67     exit 1
     68   fi
     69   cd "${OLDPWD}"
     70 
     71   # Write the generated files to standard output to inform the build
     72   # system which files it needs to handle during installation.
     73   printf '%s/%s\n' "${PWD##*/}" "${dst}"
     74 done