doc: use Font Awesome for admonition labels (issue #722)
This commit is contained in:
parent
e092bd19d3
commit
3bb75b4432
@ -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=prettify)
|
||||
set(ASCIIDOCTOR_ARGS -a experimental -a icons=font -a revnumber="${VERSION}" -a sectanchors -a source-highlighter=prettify)
|
||||
|
||||
add_subdirectory(en)
|
||||
add_subdirectory(fr)
|
||||
|
Loading…
x
Reference in New Issue
Block a user