On Mon, Jun 03, 2019 at 12:41:49PM +0200, Matthias Kilian wrote:
> Hi,
>
> On Mon, Jun 03, 2019 at 11:41:56AM +0200, Andreas Kusalananda Kähäri wrote:
> > The devel/c2hs port was removed in January 2016 ("Broken and not
> > used by anything."), but its directory is still there when checking
> > out the ports repository from CVS. This is due to a patch file
> > ("patches/patch-doc_man1_c2hs_1") which was never properly deleted.
>
> Removed now. THanks for noticing.
>
> > Likewise, the audio/p5-CDDB_Get port (capital "G") is lingering due to
> > non-deleted files (since 2001).
>
> This one is completely in the attic (i.e. all files properly cvs
> rm'ed). Do you have some additional files in your tree? What doas
>
> cvs -q up -dP
>
> say?
>
> Ciao,
> Kili
Hmm... The audio/p5-CDDB_Get port is still there even if I ask cvs to
prune empty directories while updating, but deleting its directory and
doing "cvs up -dP" in the port/audio directory does not make it come
back.
Odd. A filename case issue in cvs? There is a valid audio/p5-CDDB_get
port whose name only differs in case.
--
Kusalananda
Sweden
