diff --git a/summary/run.sh b/summary/run.sh index e016b42..408cf5a 100644 --- a/summary/run.sh +++ b/summary/run.sh @@ -20,7 +20,8 @@ done # on va concaténer les sources HTML dans une seule page cat 00_header.html >> ${HTML_FILE} -cat ${DIV_CONTENU} >> ${HTML_FILE} +sed -n '/