doc/misc.tex: Clarify that `augment-options' is in `sod-frontend'.
authorMark Wooding <mdw@distorted.org.uk>
Wed, 7 Aug 2019 16:51:20 +0000 (17:51 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 7 Aug 2019 16:51:20 +0000 (17:51 +0100)
commit8fafc4630df7594035e9a7e565292baa9b4d65f3
tree0f2fdd621373a2b98a3fa20dfabbd7b6411eadf3
parent4c35de3a0467a4cab5ec7a0d76f99de764ddc316
doc/misc.tex: Clarify that `augment-options' is in `sod-frontend'.
doc/misc.tex