Merge branch 'fix/andre/build-src-release-mac' into 'master'

[Release] fix release script on macOS' sed

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

bin/build-src-distrib.sh

@@ -211,15 +211,17 @@ function fill_wiki {
     PAGE_NAME=Frama-C-${FRAMAC_VERSION_AND_CODENAME}.md
     WIKI_PAGE=$WIKI_DIR/$PAGE_NAME
     run "mkdir -p $WIKI_DIR/manuals"
-    run "sed -i -e '/<!-- LAST RELEASE -->/a \
-- [${FRAMAC_VERSION} (${FRAMAC_VERSION_CODENAME})](Frama-C-${FRAMAC_VERSION_AND_CODENAME})' $WIKI_DIR/Home.md"
+    run "sed -e '/<!-- LAST RELEASE -->/a\\
+- [${FRAMAC_VERSION} (${FRAMAC_VERSION_CODENAME})](Frama-C-${FRAMAC_VERSION_AND_CODENAME})' -i.bak $WIKI_DIR/Home.md"
+    run "rm -f $WIKI_DIR/Home.md.bak"
     if test "$FINAL_RELEASE" = "yes"; then
         release_type="FINAL"
     else
         release_type="BETA"
     fi
-    run "sed -i -e '/<!-- LAST ${release_type} RELEASE -->/a \
-- [${FRAMAC_VERSION} (${FRAMAC_VERSION_CODENAME})](Frama-C-${FRAMAC_VERSION_AND_CODENAME})' $WIKI_DIR/_sidebar.md"
+    run "sed -e '/<!-- LAST ${release_type} RELEASE -->/a\\
+- [${FRAMAC_VERSION} (${FRAMAC_VERSION_CODENAME})](Frama-C-${FRAMAC_VERSION_AND_CODENAME})' -i.bak $WIKI_DIR/_sidebar.md"
+    run "rm -f $WIKI_DIR/_sidebar.md.bak"
     echo "# Frama-C release ${FRAMAC_VERSION} (${FRAMAC_VERSION_CODENAME})" > $WIKI_PAGE
     echo "## Sources" >> $WIKI_PAGE
     run "cp $OUT_DIR/$TARGZ_FILENAME $WIKI_DIR/downloads"

doc/release/build.tex

@@ -7,10 +7,10 @@ The procedure for creating the source distribution.
 \begin{itemize}
 \item All tools needed to compile Frama-C (that you should have anyways)
 \item \texttt{bash} v4.0 or higher
-\item \texttt{rgrep}
 \item \texttt{git-lfs}
 \item GNU \texttt{parallel}
 \item a \TeX distribution
+\item \texttt{latexmk}
 \item (recommended) \texttt{texfot}
 \end{itemize}
 

doc/release/checktar.sh

@@ -32,7 +32,7 @@ do
     fi
 done
 
-RESULT=$(rgrep $HOME $DIR)
+RESULT=$(grep -Iir $HOME $DIR)
 
 if [[ "$RESULT" != "" ]]; then
     echo "### ERROR: Found some $HOME occurrences in the distribution"