d9d1ab97a9
Create the options-page subpage when the docs dev shell is loaded. Also simplify the dev shell definition by just utilizing what's in configurePhase of the docs derivation
5 lines
72 B
Plaintext
5 lines
72 B
Plaintext
/site/reference
|
|
/site/static
|
|
/site/options-page
|
|
!/site/static/extra.css
|