Build info version of documentation
This commit is contained in:
parent
cdfd7e5850
commit
87bcfee8fd
1 changed files with 11 additions and 0 deletions
|
|
@ -43,6 +43,17 @@ find_program(GROFF groff)
|
||||||
|
|
||||||
foreach(file ${info_files})
|
foreach(file ${info_files})
|
||||||
get_filename_component(file_base ${file} NAME_WE)
|
get_filename_component(file_base ${file} NAME_WE)
|
||||||
|
|
||||||
|
if(NOT MAKEINFO)
|
||||||
|
message(WARNING "Could not find makeinfo. Info version of documentation cannot be built.")
|
||||||
|
else()
|
||||||
|
add_custom_command(OUTPUT ${file_base}.info
|
||||||
|
COMMAND makeinfo --force --no-split -o ${file_base}.info ${CMAKE_CURRENT_SOURCE_DIR}/${file}
|
||||||
|
DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/${file}
|
||||||
|
VERBATIM)
|
||||||
|
list(APPEND ledger_doc_files ${file_base}.info)
|
||||||
|
endif()
|
||||||
|
|
||||||
if(BUILD_WEB_DOCS)
|
if(BUILD_WEB_DOCS)
|
||||||
if(NOT MAKEINFO)
|
if(NOT MAKEINFO)
|
||||||
message(FATAL_ERROR "Could not find makeinfo. HTML version of documentation cannot be built.")
|
message(FATAL_ERROR "Could not find makeinfo. HTML version of documentation cannot be built.")
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue