diff options
| author | Peter Zotov <whitequark@whitequark.org> | 2015-07-17 06:37:59 +0000 |
|---|---|---|
| committer | Peter Zotov <whitequark@whitequark.org> | 2015-07-17 06:37:59 +0000 |
| commit | 2fd32b4a0f17a97f1f9cc880e1ca0afda42d207b (patch) | |
| tree | 30541c38a3f2f19395768e1d23c1303b7e7cbd9e /docs/CMakeLists.txt | |
| parent | d71b7d01e806e32d0e819bc7c03596bd014062f1 (diff) | |
[OCaml] Use a nicer style for documentation than OCaml default.
In particular, it's much easier to read, as it doesn't expand all
the way on wide-screen displays.
CSS committed under LLVM license with explicit permission from
Daniel Bünzli <daniel.buenzli@erratique.ch>.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@242511 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/CMakeLists.txt')
| -rw-r--r-- | docs/CMakeLists.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt index da27627f07e..e02fcd9a4d6 100644 --- a/docs/CMakeLists.txt +++ b/docs/CMakeLists.txt @@ -138,7 +138,9 @@ if( NOT uses_ocaml LESS 0 ) COMMAND ${CMAKE_COMMAND} -E remove_directory ${CMAKE_CURRENT_BINARY_DIR}/ocamldoc/html COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_CURRENT_BINARY_DIR}/ocamldoc/html COMMAND ${OCAMLFIND} ocamldoc -d ${CMAKE_CURRENT_BINARY_DIR}/ocamldoc/html - -sort -colorize-code -html ${odoc_files}) + -sort -colorize-code -html ${odoc_files} + COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_CURRENT_SOURCE_DIR}/_ocamldoc/style.css + ${CMAKE_CURRENT_BINARY_DIR}/ocamldoc/html) add_dependencies(ocaml_doc ${doc_targets}) |