diff --git a/doc/comm/CMakeLists.txt b/doc/comm/CMakeLists.txt index f4571eefc43d470d738d742585ea4af223b562f1..07daa544847e1f5bf1eca504758bef8e1eb3b7c4 100644 --- a/doc/comm/CMakeLists.txt +++ b/doc/comm/CMakeLists.txt @@ -5,9 +5,7 @@ target_link_libraries(poosc08_test "dunecommon") add_executable(indexset "indexset.cc") target_link_libraries(indexset "dunecommon") add_dune_mpi_flags("poosc08;poosc08_test;indexset") -if(LATEX_USABLE) - dune_add_latex_document(communication.tex FATHER_TARGET doc - BIBFILES communication.bib DEFAULT_SAFEPDF INPUTS poosc08_test.cc - IMAGE_DIRS figures) - create_doc_install(${CMAKE_CURRENT_BINARY_DIR}/communication.pdf ${CMAKE_INSTALL_DOCDIR}/comm communication_safepdf) -endif(LATEX_USABLE) +dune_add_latex_document(communication.tex FATHER_TARGET doc + BIBFILES communication.bib DEFAULT_SAFEPDF INPUTS poosc08_test.cc + IMAGE_DIRS figures) +create_doc_install(${CMAKE_CURRENT_BINARY_DIR}/communication.pdf ${CMAKE_INSTALL_DOCDIR}/comm communication_safepdf)