Add manual pages to RTD as individual files

[ric-plt/lib/rmr.git] / doc / src / rtd / Makefile

diff --git a/doc/src/rtd/Makefile b/doc/src/rtd/Makefile
index 768349d..f3fbf41 100644 (file)
--- a/doc/src/rtd/Makefile
+++ b/doc/src/rtd/Makefile
@@ -41,7 +41,7 @@ all:: $(docs:%=%.rst) $(docs:%=%.txt) $(docs:%=%.md)
 man_list.im:: always
        bash gen_man_list.sh >man_list.im
 
-rel-notes.xfm: ../../../CHANGES
+rel-notes.xfm:: always
        ksh fmt_changes.ksh >rel-notes.xfm
 
 
@@ -56,6 +56,7 @@ $(docs:%=%.md): always
 
 # copy the .rst files which have changed into the docs (plural) directory at the root of the repo
 publish : $(docs:%=%.rst)
+       bash publish_man.sh;\
        for f in *.rst;\
        do\
                if ! diff -N -q $$f ../../../docs/$$f >/dev/null 2>&1;\
@@ -80,7 +81,7 @@ clean:
 
 # ditch anything that can be rebuilt
 nuke: clean
-       rm -f *.ps *.pdf *.rst *.md
+       rm -f *.ps *.pdf *.rst *.md *.txt
 
 # make hack to force a rule to always be out of date
 always: