<dingwat>
azonenberg: for the HTML manual, is it manually edited HTML or is it generated by some tool? I.e., if I want to fix some things in the GettingStarted page, should I submit a PR against the GettingStarted.html file?
<d1b2>
<azonenberg> HTML is generated from the latex
<d1b2>
<azonenberg> PRs that change the generated files will not be accepted
<dingwat>
azonenberg: gotcha. I wasn't able to find where the commands/scripts are to generate the HTML. Is it via make/cmake?
<azonenberg>
yeah its via the normal scopehal doc building flow
<azonenberg>
i just periodically take a generated export of the pdf and html and copy over to the website repo because github pages requires the files to be in git to host them
<dingwat>
Ok. I apologize but I'm not familiar with how to build scopehal-docs
<azonenberg>
dingwat: it's normally built as part of scopehal-apps as a submodule
<azonenberg>
set BUILD_DOCS on in the cmake config
<azonenberg>
i dont know if we have it set up to build standalone currently
<dingwat>
aha
<d1b2>
<david.rysk> It’s probably not enabled by default because the LaTeX tools are quite heavy
<dingwat>
ok I'll try that, thanks. I was trying to build it standalone