diff --git a/cmake/PugsDoc.cmake b/cmake/PugsDoc.cmake
index dd1bc6b683c0489d764f9aa432e4aff290584f62..7718046e21b5de20bc5f4a6aeb5c451ca9757890 100644
--- a/cmake/PugsDoc.cmake
+++ b/cmake/PugsDoc.cmake
@@ -99,16 +99,10 @@ if (EMACS AND GNUPLOT_FOUND AND GMSH)
       FILE_PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE
       @ONLY)
 
-    # set_source_files_properties(
-    #   ${PUGS_BINARY_DIR}/build-pdf.sh2
-    #   PROPERTIES
-    #   GENERATED TRUE
-    #   HEADER_FILE_ONLY TRUE
-    # )
-
     add_custom_target(userdoc-pdf DEPENDS pugsdoc-dir "${PUGS_BINARY_DIR}/doc/userdoc.pdf" "${PUGS_BINARY_DIR}/doc/build-userdoc-pdf.sh")
 
     add_dependencies(userdoc userdoc-pdf)
+    add_dependencies(userdoc-html userdoc-pdf)
 
   else()
     if (NOT LATEX_PDFLATEX_FOUND)