build(run-latex2html): workaround for < v2025

tueda · tueda · commit fe34bd1c1746 · 2026-01-21T11:58:31.000+09:00
diff --git a/scripts/run-latex2html.sh b/scripts/run-latex2html.sh
@@ -1,11 +1,11 @@
-#!/bin/sh
+#!/bin/bash
 #
 # @file run-latex2html.sh
 #
 # Usage:
 #   run-latex2html.sh main.tex
 #
-set -eu
+set -euo pipefail
 
 if [ $# -ne 1 ]; then
   echo "Usage: $(basename "$0") main.tex" >&2
@@ -41,8 +41,10 @@ LATEX2HTML_INIT=$BINDIR/.latex2html-init
 "$LATEX2HTML" -init_file "$LATEX2HTML_INIT" "$MAIN_PATH"
 
 fix_html() {
-  # HREF="main.html#SECTION..." -> HREF="#SECTION..."
-  sed "s/$2.html#/#/g" "$1" >"$1.tmp"
+  # (1) HREF="main.html#SECTION..." -> HREF="#SECTION..."
+  # (2) workaround for latex2html < v2025
+  #     See: https://github.com/latex2html/latex2html/commit/b77ee98
+  sed "s/$2.html#/#/g" "$1" | sed 's/&&#x308;#305;/\&iuml;/g' >"$1.tmp"
   mv "$1.tmp" "$1"
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1,11 +1,11 @@`
`1`		`-#!/bin/sh`
	`1`	`+#!/bin/bash`
`2`	`2`	`#`
`3`	`3`	`# @file run-latex2html.sh`
`4`	`4`	`#`
`5`	`5`	`# Usage:`
`6`	`6`	`# run-latex2html.sh main.tex`
`7`	`7`	`#`
`8`		`-set -eu`
	`8`	`+set -euo pipefail`
`9`	`9`
`10`	`10`	`if [ $# -ne 1 ]; then`
`11`	`11`	`echo "Usage: $(basename "$0") main.tex" >&2`
`@@ -41,8 +41,10 @@ LATEX2HTML_INIT=$BINDIR/.latex2html-init`
`41`	`41`	`"$LATEX2HTML" -init_file "$LATEX2HTML_INIT" "$MAIN_PATH"`
`42`	`42`
`43`	`43`	`fix_html() {`
`44`		`- # HREF="main.html#SECTION..." -> HREF="#SECTION..."`
`45`		`- sed "s/$2.html#/#/g" "$1" >"$1.tmp"`
	`44`	`+ # (1) HREF="main.html#SECTION..." -> HREF="#SECTION..."`
	`45`	`+ # (2) workaround for latex2html < v2025`
	`46`	`+ # See: https://github.com/latex2html/latex2html/commit/b77ee98`
	`47`	`+ sed "s/$2.html#/#/g" "$1" \| sed 's/&̈#305;/\ï/g' >"$1.tmp"`
`46`	`48`	`mv "$1.tmp" "$1"`
`47`	`49`	`}`
`48`	`50`