mirror of
https://github.com/nlohmann/json.git
synced 2026-10-06 22:47:13 +00:00
overworked documentation configuration
This commit is contained in:
1 parent
f6040ea3bc
commit
d972483b33
2 files changed
+2
-3
No files matched your search
@@ -30,7 +30,6 @@ docset: update_docs src/json.hpp
|
||||
gsed -i 's/DISABLE_INDEX = NO/DISABLE_INDEX = YES/' Doxyfile_docset
|
||||
gsed -i 's/SEARCHENGINE = YES/SEARCHENGINE = NO/' Doxyfile_docset
|
||||
gsed -i 's/GENERATE_TREEVIEW = YES/GENERATE_TREEVIEW = NO/' Doxyfile_docset
|
||||
gsed -i 's/SEPARATE_MEMBER_PAGES = NO/SEPARATE_MEMBER_PAGES = YES/' Doxyfile_docset
|
||||
gsed -i 's/BINARY_TOC = YES/BINARY_TOC = NO/' Doxyfile_docset
|
||||
gsed -i 's@HTML_EXTRA_STYLESHEET = docs/mylayout.css@HTML_EXTRA_STYLESHEET = docs/mylayout_docset.css@' Doxyfile_docset
|
||||
rm -fr html *.docset
|
||||
|
||||
Reference in new issue
Block a user