the new makeinfo sets the FLOAT_NAME by default.
[gnutls.git] / doc / manpages / 
treeb5b06d38441a816565cdb78dd565d5bb553dbf79
drwxr-xr-x   ..
-rw-r--r-- 39238 Makefile.am