🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: gnu.gdb.bug
Article #10143

texinfo-format-buffer on readline.texinfo

#10143
From: kgk
Date: Tue, 13 Mar 1990 19:13
10 lines
938 bytes
Fails.  The diagnostic is

Search failed: "@setfilename"

It appears to happen when the file inc-readline.texinfo is being
included.  I can supply a more specific bug report if necessary.

Keiji
kgk@cs.brown.edu
Technical Details
Message-ID: <9003131913.AA05546@hookipa.cs.brown.edu>
Path: arc1-ca.pugleaf.net!gmdzi!unido!mcsun!uunet!bu.edu!lll-winken!uwm.edu!ogicse!caesar.cs.montana.edu!uakari.primate.wisc.edu!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!CS.BROWN.EDU!kgk

Show Full Headers
Complete Article Headers
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f5053,79f4e553b0444f89,start
X-Google-Attributes: gidf5053,public
X-Google-ArrivalTime: 1990-03-13 11:13:10 PST
Path: arc1-ca.pugleaf.net!gmdzi!unido!mcsun!uunet!bu.edu!lll-winken!uwm.edu!ogicse!caesar.cs.montana.edu!uakari.primate.wisc.edu!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!CS.BROWN.EDU!kgk
From: kgk@CS.BROWN.EDU
Newsgroups: gnu.gdb.bug
Subject: texinfo-format-buffer on readline.texinfo
Message-ID: <9003131913.AA05546@hookipa.cs.brown.edu>
Date: 13 Mar 90 19:13:10 GMT
Sender: daemon@tut.cis.ohio-state.edu
Reply-To: kgk@cs.brown.edu (Keiji Kanazawa)
Distribution: gnu
Organization: GNUs Not Usenet
Lines: 10
Posted: Tue Mar 13 20:13:10 1990