Compiling the tutorial using madoko - FStarLang/FStar GitHub Wiki

Madoko can be installed using the nodejs package manager. Run npm install madoko -g.

On Windows C:\Program Files\Microsoft HPC Pack 2012\ may mask C:\Program Files\nodejs\ stopping node from working properly. One solution is to swap their order in $PATH.

Once installed, make -C doc/tutorial builds the tutorial.