diff --git a/.gitignore b/.gitignore
index 4371053f..c23b9efd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,6 +12,7 @@ env/
 fdroidserver.egg-info/
 pylint.parseable
 /.testfiles/
+docs/html/
 
 # files generated by tests
 tests/local.properties
diff --git a/docs/fdroid.texi b/docs/fdroid.texi
index a8d97570..64b1ca96 100644
--- a/docs/fdroid.texi
+++ b/docs/fdroid.texi
@@ -1509,7 +1509,7 @@ SDK including these:
 @example
 cd /path/to/android-sdk/platforms
 tar czf android-19.tar.gz android-19
-mv android-19.tar.gz /path/to/buildserver/addons/cache/platforms/}
+mv android-19.tar.gz /path/to/buildserver/addons/cache/platforms/
 @end example
 
 If you have already built a buildserver it is also possible to get this
diff --git a/tests/run-tests b/tests/run-tests
index 2dcc8f44..7891e3c9 100755
--- a/tests/run-tests
+++ b/tests/run-tests
@@ -102,6 +102,13 @@ for testcase in $WORKSPACE/tests/*.TestCase; do
 done
 
 
+#------------------------------------------------------------------------------#
+echo_header "build the TeX manual"
+
+cd $WORKSPACE/docs
+./gendocs.sh -o html --email admin@f-droid.org fdroid "F-Droid Server Manual"
+
+
 #------------------------------------------------------------------------------#
 echo_header "create a source tarball and use that to build a repo"