19.27: ../info/gnus* older than ../man/gnus.texi

Article View: gnu.emacs.bug

Article #87455

#87455

From: Lawrence R. Dodd
Date: Thu, 15 Sep 1994 18:04

2 lines
754 bytes

`make info' needs to be done in ../man.

Technical Details

Message-ID: <9409151752.AA18717@roebling.poly.edu>

Path:

arc1-ca.pugleaf.net!bga.com!news.sprintlink.net!howland.reston.ans.net!math.ohio-state.edu!magnus.acs.ohio-state.edu!cis.ohio-state.edu!roebling.poly.edu!dodd

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fb2f1,3248f6b5309372d0,start
X-Google-Attributes: gidfb2f1,public
X-Google-ArrivalTime: 1994-09-16 14:28:36 PST
Path: arc1-ca.pugleaf.net!bga.com!news.sprintlink.net!howland.reston.ans.net!math.ohio-state.edu!magnus.acs.ohio-state.edu!cis.ohio-state.edu!roebling.poly.edu!dodd
From: dodd@roebling.poly.edu (Lawrence R. Dodd)
Newsgroups: gnu.emacs.bug
Subject: 19.27: ../info/gnus* older than ../man/gnus.texi
Date: 15 Sep 1994 14:04:36 -0400
Organization: GNUs Not Usenet
Lines: 2
Sender: daemon@cis.ohio-state.edu
Approved: bug-gnu-emacs@prep.ai.mit.edu
Distribution: gnu
Message-ID: <9409151752.AA18717@roebling.poly.edu>
Reply-To: dodd@roebling.poly.edu