html/ contains the files for the JS implementation of GTE
Note: .html files are on their github URL displayed with their source code, as all code files on github, and NOT as html pages.
To test them as html pages you can navigate to
http://gambitproject.github.io/jsgte/
To update this when changes happen to master type
ghp-import -p html
This moves the directory html
, which contains index.html
, to the root of a
new branch gh-pages. For more details see
https://help.github.com/categories/github-pages-basics/
On Linux you can install ghp-import via
pip install ghp-import