diff --git a/bin/build-src-distrib.sh b/bin/build-src-distrib.sh index f18312e5492cbbba3b3e8138dd22596119b4029b..c9f206367c0739cd77155bcfaab43602bdf07137 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" }