Add --font and --format options to rivet-mkhtml and make-plots, to replace the individual flags used for that purpose. Not fully cleaned up, but a necessary step.
Description
Description
Details
Details
- Provenance
buckley Authored on - Parents
- rRIVETHG59726c927d0a: Disable --refid on rivet-mkhtml: it doesn't work because rivet-cmphistos…
- Branches
- Unknown
- Tags