diff man/reftex.texi @ 49541:e20de75c7a92

Automatically detect giflib.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 31 Jan 2003 07:23:20 +0000
parents 0a70200bde27
children 23a1cea22d13
line wrap: on
line diff