diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2019-03-03 09:23:26 -0800 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2019-03-03 09:23:26 -0800 |
commit | 6c53d18eb2f4e39177174a93d9a8a981a6597962 (patch) | |
tree | 8456e315e51390560f4de68b718709705b3ae163 /haddock-api/resources/html/README.md | |
parent | b682041ed1cbeaf5aa501f85e4e46a6d2e39da3a (diff) | |
parent | 8964666efc4d4ab9756a83d16a02115a38744408 (diff) |
Merge branch 'ghc-8.6' into ghc-8.8
Diffstat (limited to 'haddock-api/resources/html/README.md')
-rw-r--r-- | haddock-api/resources/html/README.md | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/haddock-api/resources/html/README.md b/haddock-api/resources/html/README.md index 0552f6fd..d555989d 100644 --- a/haddock-api/resources/html/README.md +++ b/haddock-api/resources/html/README.md @@ -13,4 +13,10 @@ After each change to the TypeScript sources, compile and copy the generated file ``` gulp && cp *.min.js path-to/generated-haddock-docs && cp *.js.map path-to/generated-haddock-docs -```
\ No newline at end of file +``` + +If you are editing the CSS, you'll also need to copy the edited CSS files. E.g. if you are editing the global/default quick-jump.css and the Linuwial theme's CSS, then + +``` +cp quick-jump.css Linuwial.std-theme/linuwial.css path-to/generated-haddock-docs +``` |