Processed: Re: Bug#892935: libdebian-installer: Please add support for "nodoc" build options and profile

2018-03-14 Thread Debian Bug Tracking System
Processing control commands: > tags 892935 pending Bug #892935 [src:libdebian-installer] libdebian-installer: Please add support for "nodoc" build options and profile Added tag(s) pending. -- 892935: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=892935 Debian Bug Tracking System Contact

Bug#892935: libdebian-installer: Please add support for "nodoc" build options and profile

2018-03-14 Thread Karsten Merker
Control: tags 892935 pending On Wed, Mar 14, 2018 at 06:29:24PM +0100, Manuel A. Fernandez Montecelo wrote: > Source: libdebian-installer > Version: 0.114 > Severity: wishlist > Tags: patch > User: debian-ri...@lists.debian.org > Usertags: riscv64 > > Hi, > > We need changes in this package to

Bug#892935: libdebian-installer: Please add support for "nodoc" build options and profile

2018-03-14 Thread Manuel A. Fernandez Montecelo
2018-03-14 18:29 Manuel A. Fernandez Montecelo: Please consider applying the patch (that I will upload in minutes, to have a bug number) or providing some alternative solution to the same effect. See attached file, with bugnumber :) -- Manuel A. Fernandez Montecelo

Bug#892935: libdebian-installer: Please add support for "nodoc" build options and profile

2018-03-14 Thread Manuel A. Fernandez Montecelo
Source: libdebian-installer Version: 0.114 Severity: wishlist Tags: patch User: debian-ri...@lists.debian.org Usertags: riscv64 Hi, We need changes in this package to help to bootstrap the riscv64 architecture, in particular it will help to skip using doxygen (in a clean way) for the time being.