diff --git a/README.md b/README.md index 7c95df0..e450be6 100644 --- a/README.md +++ b/README.md @@ -18,7 +18,7 @@ Try it: ## Offline usage -Download the "webapp" folder of this repository, and open `index.html` (leave all other files untouched). +Download the "docs" folder of this repository, and open `index.html` (leave all other files untouched). This web app is a standalone static webpage, so you can put it anywhere you like. @@ -66,6 +66,6 @@ This web app is a standalone static webpage, so you can put it anywhere you like Wait for a few minutes, at most 10 (ten) minutes perhaps. A new folder will be created, one of its files being `index.html`. - This new folder, in fact, is the same "webapp" folder of this repo, so there you have it! + This new folder, in fact, is the same "docs" folder of this repo, so there you have it! **Note:** suppose you deleted that new, compiled folder. You'll only need to repeat steps 5 and 6 if you want it back. Unless, of course, if you also uninstalled any of the Haskell stuff... diff --git a/webapp/all.js b/docs/all.js similarity index 100% rename from webapp/all.js rename to docs/all.js diff --git a/webapp/all.js.externs b/docs/all.js.externs similarity index 100% rename from webapp/all.js.externs rename to docs/all.js.externs diff --git a/webapp/index.html b/docs/index.html similarity index 100% rename from webapp/index.html rename to docs/index.html diff --git a/webapp/lib.js b/docs/lib.js similarity index 100% rename from webapp/lib.js rename to docs/lib.js diff --git a/webapp/manifest.webapp b/docs/manifest.webapp similarity index 100% rename from webapp/manifest.webapp rename to docs/manifest.webapp diff --git a/webapp/out.frefs.js b/docs/out.frefs.js similarity index 100% rename from webapp/out.frefs.js rename to docs/out.frefs.js diff --git a/webapp/out.frefs.json b/docs/out.frefs.json similarity index 100% rename from webapp/out.frefs.json rename to docs/out.frefs.json diff --git a/webapp/out.js b/docs/out.js similarity index 100% rename from webapp/out.js rename to docs/out.js diff --git a/webapp/out.stats b/docs/out.stats similarity index 100% rename from webapp/out.stats rename to docs/out.stats diff --git a/webapp/rts.js b/docs/rts.js similarity index 100% rename from webapp/rts.js rename to docs/rts.js diff --git a/webapp/runmain.js b/docs/runmain.js similarity index 100% rename from webapp/runmain.js rename to docs/runmain.js