@set UPDATED 02:23 January ./libtool.texi
@set UPDATED-MONTH January ./libtool.texi
@set EDITION 1.5.12
@set VERSION 1.5.12
