back button not properly working when browsing MMT documentation about mmt

[cmaeder]

resolved by 2e8abad
(although the frames did not work on github for me eff8d26)

[cmaeder]

for some reason github does not serve the file http://kwarc.github.io/MMT/doc/html/_script/script.js
(though it does serve http://kwarc.github.io/MMT/doc/api/index.js)

[cmaeder]

Even http://kwarc.github.io/MMT/src/mmt-api/trunk/resources/log-html/script.js can be served, therefore I suspect _ in the folder name _script is the (github-pages) problem. (Also mere directories are not served.)

[tkw1536]

@cmaeder It is indeed a github issue. Jekyll (the engine behind gh-pages that also allows templating) causes this. For details see https://help.github.com/articles/files-that-start-with-an-underscore-are-missing/.

The fix: Add a .nojekyll file to the gh-pages branch (could be easily done in the svn post-commit hook)

[cmaeder]

Thanks for the link. I've added a .nojekyll file to svn 1e43551