Debian bug report logs - #1637, boring messages

Subject: Bug#1637: pmake 1.0-1
Reply-To: jimr@simons-rock.edu, debian-bugs@pixar.com
Resent-From: "James A. Robinson" <jimr@simons-rock.edu>
Resent-To: debian-devel@pixar.com
Resent-Date: Wed, 11 Oct 1995 02:33:03 GMT
Resent-Message-ID: <debian-bugs-handler.1637.B10110230340@pixar.com>
Resent-Sender: iwj10@cus.cam.ac.uk
X-Debian-PR-Package: pmake
X-Debian-PR-Keywords: 
Received: via spool for debian-bugs; Wed, 11 Oct 1995 02:33:03 GMT
Received: with rfc822 via encapsulated-mail; Wed, 11 Oct 1995 02:30:32 GMT
Received: from pixar.com by mongo.pixar.com with smtp
	(Smail3.1.28.1 #15) id m0t2qv4-000HLNC; Tue, 10 Oct 95 19:29 PDT
Received: from plato.simons-rock.edu by pixar.com with SMTP id AA24918
  (5.67b/IDA-1.5 for debian-bugs-pipe@mongo.pixar.com); Tue, 10 Oct 1995 19:28:56 -0700
Received: from simons-rock.edu by plato.simons-rock.edu with smtp
	(Smail3.1.29.1 #1) id m0t2qSo-0003K3C; Tue, 10 Oct 95 22:00 EDT
Message-Id: <m0t2qSo-0003K3C@plato.simons-rock.edu>
X-Mailer: MH 6.8.3
To: Debian Bugs <debian-bugs@pixar.com>
Dcc:
Date: Tue, 10 Oct 1995 22:00:09 -0400
From: "James A. Robinson" <jimr@simons-rock.edu>



Package: pmake
Version 1.0
Revision: 1

The pmake man page says that the syntax is "make [args]".  Shouldn't
it be "pmake [args]" instead?  Should the other references be pmake
instead of make?


Jim

From: iwj10@thor.cam.ac.uk (Ian Jackson)
To: jimr@simons-rock.edu
Subject: Bug#1637: Acknowledgement (was: pmake 1.0-1)
In-Reply-To: <m0t2qSo-0003K3C@plato.simons-rock.edu>
References: <m0t2qSo-0003K3C@plato.simons-rock.edu>

Thank you for the problem report you have sent regarding Debian GNU/Linux.
This is an automatically generated reply, to let you know your message has
been received.  It is being forwarded to the developers' mailing list for
their attention; they will reply in due course.

If you wish to submit further information on your problem, please send
it to debian-bugs@pixar.com, but please ensure that the Subject
line of your message starts with "Bug#1637" or "Re: Bug#1637" so that
we can identify it as relating to the same problem.

Please do not reply to the address at the top of this message,
unless you wish to report a problem with the bug-tracking system.

Ian Jackson
(maintainer, debian-bugs)