doc: Replace pipe with temporary files

This way errors in intermediate commands can be detected. E.g. pandoc
fails on buildbot and this is currently undetected.

diff --git a/rpp-test-sw/commands/doc/Makefile b/rpp-test-sw/commands/doc/Makefile
index 395e7bce99707a4ddc1a527c4f40f533362bd547..4f640bbbd56fec38dbceae16c696dad7e815739a 100644 (file)
--- a/rpp-test-sw/commands/doc/Makefile
+++ b/rpp-test-sw/commands/doc/Makefile
@@ -27,7 +27,10 @@ doc.html: docgen Makefile
        ./docgen wiki | pandoc -f markdown_strict -t html --base-header-level=2 > $@
 
 doc.tex: docgen Makefile
-       ./docgen pdfdoc | pandoc -f markdown_strict -t latex --base-header-level=1 | sed -e 's/\\subsection/\\newpage\\subsection/' > $@
+       ./docgen pdfdoc > $@.1
+       pandoc -f markdown_strict -t latex --base-header-level=1 $@.1 -o $@.2
+       sed -e 's/\\subsection/\\newpage\\subsection/' $@.2 > $@
+       rm $@.?
 
 upload: upload-mw upload-web