diff options
author | Graham Christensen <graham@grahamc.com> | 2018-03-26 08:24:27 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2018-03-26 21:44:24 -0400 |
commit | 8dac5ce146c0c3afe963ea8bc955d5b147853345 (patch) | |
tree | fde04ea30558c36bd80d810d3024e1696bd6d306 /doc/.gitignore | |
parent | 378e05c6ddcc213652e51c9bdaa5d54c66959156 (diff) |
nixpkgs docs: syntax highlight
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index d8e765e38c2d..d0ba103fa9f1 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -3,3 +3,4 @@ .version out manual-full.xml +highlightjs |