Merge remote-tracking branch 'andy128k/master'

[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