From b2677457baca9064b022951a4285fa047dcdb7a9 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 25 May 2014 19:06:17 +0000
Subject: [PATCH]

---
 CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 12da35a7fe..3a26368518 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1531,6 +1531,8 @@ if(MAKEINFO)
                      ARGS ${TEX_DIR}/gmsh.texi WORKING_DIRECTORY ${TEX_DIR})
   add_custom_target(html DEPENDS ${TEX_DIR}/gmsh.html)
   install(FILES ${TEX_DIR}/gmsh.html DESTINATION ${GMSH_DOC} OPTIONAL)
+else(MAKEINFO)
+  add_custom_target(html COMMAND ${CMAKE_COMMAND} -E touch ${TEX_DIR}/gmsh.html)
 endif(MAKEINFO)
 
 find_program(TEXI2PDF texi2pdf)
-- 
GitLab