Article View: gnu.gdb.bug
Article #8828GDB 4.7 `make clean-info' doesn't clean *.info*
From: Paul Eggert
Date: Sat, 24 Oct 1992 21:28
Date: Sat, 24 Oct 1992 21:28
2 lines
697 bytes
697 bytes
In GDB 4.7, the command `make clean-info' removes doc/*.info*, but it doesn't remove *.info*.
Technical Details
Message-ID:
<9210242128.AA07444@bi.twinsun.com>Path:
arc1-ca.pugleaf.net!sparky!uunet!usc!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!bi.TWinsun.COM!eggertShow Full Headers
Complete Article Headers
X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f5053,1beed21a1aa97250,start X-Google-Attributes: gidf5053,public X-Google-ArrivalTime: 1992-10-25 13:25:46 PST Newsgroups: gnu.gdb.bug Path: arc1-ca.pugleaf.net!sparky!uunet!usc!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!bi.TWinsun.COM!eggert From: eggert@bi.TWinsun.COM (Paul Eggert) Subject: GDB 4.7 `make clean-info' doesn't clean *.info* Message-ID: <9210242128.AA07444@bi.twinsun.com> Sender: gnulists@ai.mit.edu Organization: GNUs Not Usenet Distribution: gnu Date: Sat, 24 Oct 1992 21:28:25 GMT Approved: bug-gdb@prep.ai.mit.edu Lines: 3