From 5f4c3b0928230f2a445abfc7f270c96d86149dfa Mon Sep 17 00:00:00 2001 From: Leandro Lucarella Date: Wed, 13 Mar 2013 22:24:49 +0100 Subject: [PATCH] Add source/proj/mutestrepo as a submodule --- .gitmodules | 3 +++ Makefile | 3 ++- source/proj/mutest/repo | 1 + 3 files changed, 6 insertions(+), 1 deletion(-) create mode 160000 source/proj/mutest/repo diff --git a/.gitmodules b/.gitmodules index 6d52e5f..2b388ad 100644 --- 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 151f796..433bb14 100644 --- 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 index 0000000..54d6baf --- /dev/null +++ b/source/proj/mutest/repo @@ -0,0 +1 @@ +Subproject commit 54d6baf704047d17016dc0059589c44a6f083d95 -- 2.43.0