Add source/proj/mutestrepo as a submodule

[personal/website.git] / Makefile

diff --git a/Makefile b/Makefile
index 151f796d99ab72a4a1d9c8e5d8fefc4fef160657..433bb14b09904c8ecd1d56593134e5de90fa196d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -59,8 +59,9 @@ upload:
 
 html:
        $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) build/html
+       cd source/proj/mutest/repo && make doc && cp -v manual.html manual.pdf ..
+       rsync -a --delete --exclude repo source/proj/mutest/ build/html/proj/mutest
        rsync -a --delete source/proj/eventxx/ build/html/proj/eventxx
-       rsync -a --delete source/proj/mutest/ build/html/proj/mutest
        rsync -a --delete source/proj/mutt-nntp-debian/files/ build/html/proj/mutt-nntp-debian/files
        rsync -a --delete source/proj/sadba/files/ build/html/proj/sadba/files
        rsync -a source/resume/*.pdf build/html/resume/