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 3e1721b..f3fbf41 100644 (file)
--- a/doc/src/rtd/Makefile
+++ b/doc/src/rtd/Makefile
@@ -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: