Merge branch 'revert-66597e4e' into 'master'

Revert "[Distrib] Fix event titles"

See merge request frama-c/frama-c!3294

bin/build-src-distrib.sh

@@ -299,7 +299,7 @@ function add_event_page {
     echo >> $EVENT_WEBPAGE_PATH
     echo "Main changes with respect to $TEXTUAL_PREVIOUS include:" >> $EVENT_WEBPAGE_PATH
     echo >> $EVENT_WEBPAGE_PATH
-    sed 's/\(\#.*\)/#\1/' $CHANGES >> $EVENT_WEBPAGE_PATH
+    sed 's/\(\#.*\)/###\1/' $CHANGES >> $EVENT_WEBPAGE_PATH
 
     run "git -C $WEBSITE_DIR add $EVENT_WEBPAGE"
 }