diff src/makefile.w32-in @ 77710:d6d820294ed5

(Info-current-subfile): Doc fix.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 16 May 2007 11:23:32 +0000
parents 1e03c5a4215f
children 1f50b1fcfba3 2d1770557962 52a7f3f50b89
line wrap: on
line diff