diff --git a/Makefile b/Makefile index 0731361..e8bf497 100644 --- a/Makefile +++ b/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 diff --git a/doc/Makefile b/doc/Makefile index 8dbbbde..dd3d072 100644 --- a/doc/Makefile +++ b/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 . \ No newline at end of file + cp build/latex/purpledome.pdf . + +zip: html + cd build; zip -r documentation.zip html/ + cp build/documentation.zip . \ No newline at end of file diff --git a/doc/source/usage/usage.rst b/doc/source/usage/usage.rst deleted file mode 100644 index 6d805ef..0000000 --- a/doc/source/usage/usage.rst +++ /dev/null @@ -1,4 +0,0 @@ -***** -Usage -***** - diff --git a/tools/shipit.py b/tools/shipit.py index 15ffe10..639661c 100755 --- a/tools/shipit.py +++ b/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/*",