Processed: Re: Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed

To: Adrian Bunk <bunk@fs.tum.de>
Cc: teTeX maintainers <debian-tetex-maint@lists.debian.org>(tetex-extra #122357)
Subject: Processed: Re: Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 04 Dec 2001 04:18:07 -0600
Message-id: <[🔎] handler.s.C.100746059630549.transcript@bugs.debian.org>
In-reply-to: <[🔎] Pine.NEB.4.43.0112041105040.17983-100000@mimas.fachschaften.tu-muenchen.de>
References: <[🔎] Pine.NEB.4.43.0112041105040.17983-100000@mimas.fachschaften.tu-muenchen.de>

Processing commands for control@bugs.debian.org:

> severity 122357 grave
Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
Severity set to `grave'.

> tags 122357 + woody
Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
Tags added: woody

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

References:
- Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
  - From: Adrian Bunk <bunk@fs.tum.de>

Prev by Date: Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
Next by Date: Bug#122377: tetex-bin: xdvi dies on certain external hyperlinks
Previous by thread: Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
Next by thread: Bug#122357: tetex-extra: `tex -ini -fmt=platex -progname=platex platex.ini' failed
Index(es):
- Date
- Thread