Processed: Re: Bug#879049: debian-policy: Clarify how nodoc is to be used with DEB_BUILD_OPTIONS & DEB_BUILD_PROFILES
"Debian Bug Tracking System" <[email protected]> Wed, 01 Apr 2026 20:43:03 +0000
| Newsgroups | gmane.linux.debian.devel.policy |
|---|---|
| Message-ID | <[email protected]> |
Processing commands for [email protected]: > retitle 879049 debian-policy: Clarify how nodoc is to be used with DEB_BUILD_OPTIONS and DEB_BUILD_PROFILES Bug #879049 [src:debian-policy] debian-policy: 4.9.1: Allow nodoc to be used to not create empty -doc packages Changed Bug title to 'debian-policy: Clarify how nodoc is to be used with DEB_BUILD_OPTIONS and DEB_BUILD_PROFILES' from 'debian-policy: 4.9.1: Allow nodoc to be used to not create empty -doc packages'. > End of message, stopping processing here. Please contact me if you need assistance. -- 879049: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=879049 Debian Bug Tracking System Contact [email protected] with problems