Merge commit 'cbd38328bc0e1c3d1585b41443cc9a1840bd2cf5'
[cl-gtk2.git] / doc / fix-tex-references-1.sh
2009-08-30 Dmitry KalyanovAdded workaround for broken texinfo references