From d22ab667fdc18d3c9656f99e11eced98c34452c8 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Wed, 12 May 2021 02:33:47 +0200
Subject: [PATCH] Fix CI

---
 tools/build_makefile.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/build_makefile.sh b/tools/build_makefile.sh
index 4782834..215be17 100755
--- a/tools/build_makefile.sh
+++ b/tools/build_makefile.sh
@@ -206,12 +206,12 @@ function make_src()
     echo 
     echo "if QMCKL_DEVEL"
     for f in ${ORG_FILES} ; do
-        echo "${HTML[$f]}: ${DEPS_DOC[$f]} \$(htmlize_el)"
+        echo "${HTML[$f]}: ${DEPS_DOC[$f]}"
         echo "${TEXT[$f]}: ${DEPS_DOC[$f]}"
         echo ""
     done 
     for f in ${!DEPS_DOC[@]} ; do
-        echo "${DEPS_DOC[$f]}: $f"
+        echo "${DEPS_DOC[$f]}:  \$(htmlize_el) $f"
         echo "	\$(export_verbose)\$(srcdir)/tools/build_doc.sh $f"
         echo ""
     done