Closed quinn-dougherty closed 2 years ago
Alternatively we could use LaTeX for the whole audit document.
.md
documents to be rendered to into src
dir and are listed in index.txt
.Makefile
runs it .pdf
to repo on push.Preamble, Considerations, Attacks, Bibliography
with the contents of src/considerations
subdir as sections in the Considerations
chapter, similar for src/attacks
. default.nix
so that local build == action build.calling 'pandoc with --verbose
, can give you better debug! :-)
Thanks! bibliography is currently rendering! :)
Gonna close this, but just want to note, if we want the bibliography before the appendix we're going to have to dump a bunch more time into rendering and pandoc and stuff again.
Ideally when I commit to a
src
subdir in theaudit
repo, a job will walk through it according to some top level "table of contents specification" that will assemble each distinct.md
as a section of one final document, and the job could even publish/update the output document to Ardana's website. (Isaac and I have not discussed yet how "alive" the audit document will be after launch, if it will be edited at all or how often it will get edited).This rendering process will probably require LaTeX, because we'd like to discuss the invariant polynomial.