# TO CREATE THE IDEAS PAGES on nash.lse.ac.uk in 2015 and 2016
make clean
make singlehtml
./single

# TO CREATE index.war for gametheoryexplorer.org
# for deployment e.g. with jetty, via
create_main_index_html.sh
# this will first copy mainindex.rst to index.rst
# and then it runs
# make singlehtml before creating index.war in the current directory
#
# NOTE
# ideas.rst
# ideasALG.rst
# are not currently used, but can be added back later