Add the ability to download docs.gl for offline use.

tavomaciel · Oct 1, 2014 · 5963b35 · 5963b35
1 parent ec8cae4
commit 5963b35
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/compile.py b/compile.py
@@ -7,6 +7,8 @@
 
 import opengl
 import shared
+import subprocess
+import platform
 
 sys.path.append("htmlmin")
 import htmlmin
@@ -491,3 +493,9 @@ def replace_alias(matchobj):
 
   print "Wrote " + str(written) + " commands for " + version
 
+if platform.system() is "Windows":
+  subprocess.call(["\\Program Files\\7-Zip\\7z.exe", "a", "-tzip", "docs.gl.zip", "htdocs"])
+else:
+  subprocess.call(["zip", "docs.gl.zip", "htdocs" ])
+
+shutil.move("docs.gl.zip", "htdocs/")
diff --git a/html/copy/about.html b/html/copy/about.html
@@ -30,6 +30,7 @@
 <p>docs.gl is an improvement of the official OpenGL documentation. It was written by <a href="http://twitter.com/VinoBS">Jorge Rodr&iacute;guez</a>. Each reference page is under individual copyright listed in that entry, all other content is in the public domain. docs.gl is completely unaffiliated with OpenGL and Khronos.</p>
 <p>Anyone can contribute to docs.gl to improve the OpenGL documentation. The source code to docs.gl is <a href="https://github.com/BSVino/docs.gl">available on GitHub</a>. Pull requests and suggestions are welcome.</p>
 <p><a href="https://github.com/BSVino/docs.gl/graphs/contributors">Full list of contributors</a></p>
+<p><a href="docs.gl.zip">Download docs.gl for offline use.</a></p>
 <p><a href="/">Back</a></p></div>
 
 </div>