diff man/texinfo.tex @ 73548:227bb8f9276e

* makefile.w32-in: revert last change.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 30 Oct 2006 14:15:57 +0000
parents 55f41f977e85
children b90d473c449b bb0e318b7c53
line wrap: on
line diff