doc/src/rtd/gen_man_list.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 # generate the list of man pages to include in the user guide
  22
  23 printf ".** CAUTION: this file is automatically generated; do not manually edit\n\n"
  24 ls -al ../man/*.xfm|sed 's!^.*man/!!' | while read x
  25 do
  26         if [[ $x != *".7.xfm" ]]
  27         then
  28                 printf ".ju off &space\n"
  29                 printf ".im &{lib}/man/$x\n"
  30         fi
  31 done