No internet connection is required to use this version of the manual.
- Unzip the file anywhere you want
- Run TinyWebStart.bat to use the manual in your default browser
- Run TinyWebStop.bat when done
I have changed things slightly, as our new home for our documentation can't simply be downloaded and used with something like httrack or wget. The manual will now be run in a small local web server called TinyWeb on your local PC.
Using this, nothing is installed or changed in your local Windows. Windows may offer to add an exception for tiny.exe in the firewall the first time you run it; feel free to either allow it, or say "Cancel" and not allow it. It is not needed to use the manual. By default this will use localhost:8000. If you are using port 8000 for something else on your system, you can change TinyWebStart.bat to use any other port you like.