diff INSTALL @ 102377:505e79fad612

* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add auth. ($(infodir)/auth, auth.dvi): New targets.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 03 Mar 2009 09:21:31 +0000
parents cf89f5c49828
children 76e34fe20234
line wrap: on
line diff