1
0
mirror of https://github.com/weechat/weechat.git synced 2026-07-05 01:03:14 +02:00

doc: switch to prettify source highlighter (issue #722)

This commit is contained in:
Sébastien Helleu
2016-05-04 23:03:16 +02:00
parent baebbb25a3
commit e092bd19d3
+1 -1
View File
@@ -24,7 +24,7 @@ if(ENABLE_MAN OR ENABLE_DOC)
if(ASCIIDOCTOR_FOUND)
set(ASCIIDOCTOR_ARGS -a experimental -a revnumber="${VERSION}" -a sectanchors -a source-highlighter=highlight.js)
set(ASCIIDOCTOR_ARGS -a experimental -a revnumber="${VERSION}" -a sectanchors -a source-highlighter=prettify)
add_subdirectory(en)
add_subdirectory(fr)