diff BUGS @ 58524:92dc214c88ac

Fix the setfilename directive to put the produced file in ../info.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 26 Nov 2004 11:56:50 +0000
parents 8ce686bd7f4f
children fb8bf24d2eb9
line wrap: on
line diff