diff man/info.texi @ 44597:071e287dcbde

Run autoheader if necessary.
author Andreas Schwab <schwab@suse.de>
date Mon, 15 Apr 2002 13:13:32 +0000
parents 82c3e065a9c4
children a59fec4b6783
line wrap: on
line diff