Build Instructions
Closed this issue ยท 4 comments
chrisnevers commented
Hey, could you update the README with instructions on how to build and run the project? I want to hack around with the styling, but
dune build
dune exec process
is not working for me. I'm not sure how to run the project.
sanette commented
oh yes it's not clean on that side, sorry.
For the moment you need to download yourself the manual sources, and
run dune exec src/process.exe
to process all the html files.
And then copy the css and js files to the docs/ directory.
I'll put this on the README
sanette commented
done. Also added a Makefile. Tell me if it works for you.
chrisnevers commented
Thanks, works great! ๐
sanette commented
I've added some options to the script, see README