Code Review / deb_dpdk.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: 5f60216) | patch
Change DEB_BUILD_OPTIONS nodocs to nodoc 26/6926/1
authorLuca Boccassi <luca.boccassi@gmail.com>
Tue, 30 May 2017 13:05:13 +0000 (14:05 +0100)
committerLuca Boccassi <luca.boccassi@gmail.com>
Tue, 30 May 2017 13:05:13 +0000 (14:05 +0100)
commited7798327d28889f6b6e08c6eb2966c9d92c9cfa
treef6dce5e953492381bd1e22caee2acb8cd1b43ef5tree | snapshot
parent5f6021664aa3edf36ab7f37378c032a86bb655b2commit | diff
Change DEB_BUILD_OPTIONS nodocs to nodoc

Debian Policy version 4.0.0 was just released and nodoc is officially
recommended and recognised. Rename the option to comply.

Change-Id: If80282f5e47b05065dd427d067f6e37c0f349517
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
debian/rules diff | blob | history
ARCHIVED- 2020-02-20 at the request of the project