Merge commit 'cbd38328bc0e1c3d1585b41443cc9a1840bd2cf5'

[cl-gtk2.git] / doc / fix-tex-references.sh

#!/bin/sh
dir="$1"
for file in $dir/*.html; do
    ./fix-tex-references-1.sh "$file"
done