Add source/proj/mutestrepo as a submodule

diff --git a/.gitmodules b/.gitmodules
index 6d52e5f6150d4304d74cbb3247466a3ff9063928..2b388ad48435f8c830d739923bf59cc5161361f8 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "source/proj/eventxx"]
        path = source/proj/eventxx
        url = ../../software/eventxx.git
+[submodule "source/proj/mutest/repo"]
+       path = source/proj/mutest/repo
+       url = ../../software/mutest.git

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/

diff --git a/source/proj/mutest/repo b/source/proj/mutest/repo
new file mode 160000 (submodule)
index 0000000..54d6baf
--- /dev/null
+++ b/source/proj/mutest/repo
@@ -0,0 +1 @@
+Subproject commit 54d6baf704047d17016dc0059589c44a6f083d95