Bug#370648: Tries to invoke netscape

To: submit@bugs.debian.org
Subject: Bug#370648: Tries to invoke netscape
From: Florian Weimer <fw@deneb.enyo.de>
Date: Tue, 06 Jun 2006 09:27:47 +0200
Message-id: <[🔎] 874pyy68wc.fsf@mid.deneb.enyo.de>
Reply-to: Florian Weimer <fw@deneb.enyo.de>, 370648@bugs.debian.org

Package: coqide
Version: 8.0pl3-2

The menu entry Help/Browse Coq Manual tries to invoke "netscape",
instead of some installed web browser.  It should probably use
"www-browser" (but please check the relevant policy first).

Reply to:

Follow-Ups:
- Bug#370648: Tries to invoke netscape
  - From: Samuel Mimram <samuel.mimram@ens-lyon.org>

Prev by Date: interior
Next by Date: Bug#370648: Tries to invoke netscape
Previous by thread: interior
Next by thread: Bug#370648: Tries to invoke netscape
Index(es):
- Date
- Thread