Code Review
/
ric-plt
/
lib
/
rmr.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
review
|
tree
raw
|
inline
| side by side
RIC:1060: Change in PTL
[ric-plt/lib/rmr.git]
/
doc
/
src
/
rtd
/
publish_man.sh
diff --git
a/doc/src/rtd/publish_man.sh
b/doc/src/rtd/publish_man.sh
index
1bbfc7f
..
1563f62
100755
(executable)
--- a/
doc/src/rtd/publish_man.sh
+++ b/
doc/src/rtd/publish_man.sh
@@
-39,7
+39,7
@@
do
out=stuff/${x%.*}.rst
target=${sdir}/${out##*/}
out=stuff/${x%.*}.rst
target=${sdir}/${out##*/}
- INPUT_FILE=${x%%.*} GEN_TITLE=1 LIB=".." OUTPUT_TYPE=rst tfm ../man/$x stdout 2>/dev/null | sed 's/^ //' >$out
+ INPUT_FILE=${x%%.*} GEN_TITLE=1 LIB=".." OUTPUT_TYPE=rst tfm ../man/$x stdout 2>/dev/null | sed 's/^ //
; s/ *$//
' >$out
new_m5=$( md5sum $out | sed 's/ .*//' )
if [[ ! -f $target || $new_m5 != $( md5sum $target | sed 's/ .*//' ) ]]
then
new_m5=$( md5sum $out | sed 's/ .*//' )
if [[ ! -f $target || $new_m5 != $( md5sum $target | sed 's/ .*//' ) ]]
then