Added compiled documentation to shipit

Makefile

@@ -10,7 +10,7 @@ test: tox.ini
 	coverage report;
 
 shipit: test
-	cd doc; make html; cd ..
+	cd doc; make zip; cd ..
 	git log --pretty="format: %aD %an:  %s" > shipit_log.txt
 	python3 tools/shipit.py
 

doc/Makefile

@@ -21,4 +21,8 @@ help:
 
 all: html epub latexpdf text man
 	# I want to check the pdf into GIT. Copying it here so I will move it with the usb stick (as the build dir is not moved)
-	cp build/latex/purpledome.pdf .
+	cp build/latex/purpledome.pdf .
+
+zip: html
+	cd build; zip -r documentation.zip html/
+	cp build/documentation.zip .

doc/source/usage/usage.rst

@@ -1,4 +0,0 @@
-*****
-Usage
-*****
-

tools/shipit.py

@@ -32,6 +32,7 @@ globs = ["TODO.md",
          "doc/source/index.rst",
          "doc/Makefile",
          "doc/purpledome.pdf",
+         "doc/documentation.zip",
          "doc/source/*/*.rst",
          "doc/source/_static/*.png",
          "doc/source/_templates/*",