On Sun, Mar 15, 2009 at 02:23:31AM +0100, Jonas Smedegaard wrote:
> It sounds like you didn't actually look at my proposed snippet, 
> containing the following comment:
> 
> # This very makefile snippet ideally is provided by the topgit package 
> # - see bug#513952. 
> # Also, Debian Policy 4.14 implicitly recommends build-depending on 
> # packages containing build documentation referenced from Debian.source. 

I looked at the snippet, but overlooked the comment (and I was not
aware of the policy recommendation).

Given that it is so, let it be. Even if it still sounds me a bit dumb
to have people fiddle with, or just be aware of, topgit _just_ to
fulfill a documentation requirement automatically. It is not a big
deal either.

Cheers.

-- 
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
z...@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..|  .  |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime



--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to