Bug#603335: menhir: Examples are installed twice

To: Marc Mezzarobba <mm@mezzarobba.net>, 603335@bugs.debian.org
Subject: Bug#603335: menhir: Examples are installed twice
From: Stéphane Glondu <glondu@debian.org>
Date: Sat, 13 Nov 2010 10:23:19 +0100
Message-id: <[🔎] 4CDE5907.1080606@debian.org>
Reply-to: Stéphane Glondu <glondu@debian.org>, 603335@bugs.debian.org
In-reply-to: <[🔎] 20101113071605.11985.42365.reportbug@mistral>
References: <[🔎] 20101113071605.11985.42365.reportbug@mistral>

tags 603335 + pending
thanks

Le 13/11/2010 08:16, Marc Mezzarobba a écrit :
> The files from the demos/ subdirectory of the upstream tarball get
> installed both in /usr/share/doc/menhir/demos and in
> /usr/share/doc/menhir/examples.

Fixed in git.


Cheers,

-- 
Stéphane

Reply to:

Follow-Ups:
- Processed: Re: Bug#603335: menhir: Examples are installed twice
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

References:
- Bug#603335: menhir: Examples are installed twice
  - From: Marc Mezzarobba <mm@mezzarobba.net>

Prev by Date: Processed: Re: Bug#603335: menhir: Examples are installed twice
Next by Date: Bug#603831: edos-distcheck: Typing error in extended description
Previous by thread: Bug#603335: menhir: Examples are installed twice
Next by thread: Processed: Re: Bug#603335: menhir: Examples are installed twice
Index(es):
- Date
- Thread