diff --git a/.github/workflows/gen_index_html.sh b/.github/workflows/gen_index_html.sh index 59e666f..bda257a 100644 --- a/.github/workflows/gen_index_html.sh +++ b/.github/workflows/gen_index_html.sh @@ -60,7 +60,7 @@ for branch in $SORTED; do echo "
html / text / xml
" >> index.html if [ $branch = "main" ]; then - echo " Diff with Datatracker " >> index.html + echo " Diff with Datatracker " >> index.html else echo " Diff with Main " >> index.html fi