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 878229e..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;\