Refactor gtk-main; rename join-main-thread to join-gtk-main; make join-gtk-main usefu...
[cl-gtk2.git] / doc / fix-tex-references.sh
1 #!/bin/sh
2 dir="$1"
3 for file in $dir/*.html; do
4     ./fix-tex-references-1.sh "$file"
5 done