diff --git a/bin/build-src-distrib.sh b/bin/build-src-distrib.sh index a7118e37eb229114d702de53b9f1cf21d17c8265..44ff56274c0fcb7d2cb170a5cef4172f24ee8a8b 100755 --- a/bin/build-src-distrib.sh +++ b/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" }