RIC:1060: Change in PTL

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

diff --git a/doc/src/rtd/Makefile b/doc/src/rtd/Makefile
index 5f8cc68..6ef1743 100644 (file)
--- a/doc/src/rtd/Makefile
+++ b/doc/src/rtd/Makefile
@@ -23,7 +23,7 @@
 
 
 %.rst:: %.xfm
-       OUTPUT_TYPE=rst tfm $< | sed 's/^ //' >$@
+       OUTPUT_TYPE=rst tfm $< | sed 's/^ //;  s/ *$$//' >$@
 
 %.ps:: %.xfm
        OUTPUT_TYPE=ps pfm $< $@
@@ -59,11 +59,12 @@ $(docs:%=%.html): always
 publish : $(docs:%=%.rst)
        bash publish_man.sh;\
        bash publish_lib.sh;\
+       bash scrape_types.sh;\
        for f in *.rst;\
        do\
                if ! diff -N -q $$f ../../../docs/$$f >/dev/null 2>&1;\
                then\
-                       cp -p $$f ../../../docs/;\
+                       sed 's/ *$$//' $$f >../../../docs/$${f##*/};\
                fi;\
        done