diff admin/check-doc-strings @ 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 695cf19ef79e
children 4e2606f6ee72 375f2633d815
line wrap: on
line diff