Merge branch 'master' of git://github.com/dmitryvk/cl-gtk2

[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