How to build the book?

[master-q]

I try to build the book, but catch following error:

$ pwd
/home/kiwamu/src/kremlin/book
$ make html
Running Sphinx v1.7.4

Extension error:
Could not import extension fslit.sphinx4fstar (exception: No module named 'fslit')
make: *** [Makefile:20: html] Error 2

Where is the extension fslit.sphinx4fstar?

I would like to translate https://fstarlang.github.io/lowstar/html/.

[msprotz]

You need to do this:

https://github.com/FStarLang/kremlin/blob/master/.ci/install.sh#L8

i.e. clone fstar-mode.el as a subdirectory of kremlin. Let me know how it works!

[master-q]

It works!

$ pwd
/home/kiwamu/src/kremlin
$ git clone https://github.com/fstarlang/fstar-mode.el
$ pip3 install sphinx_rtd_theme
$ cd book
$ make html
$ x-www-browser _build/html/index.html

Thanks a lot.