Remove NNG libraries from packages
[ric-plt/lib/rmr.git] / 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