diff options
| author |   Luca Boccassi <luca.boccassi@gmail.com> | 2017-05-30 14:05:13 +0100 |
|---|---|---|
| committer | Luca Boccassi <luca.boccassi@gmail.com> | 2017-05-30 14:05:13 +0100 |
| commit | ed7798327d28889f6b6e08c6eb2966c9d92c9cfa (patch) | |
| tree | f6dce5e953492381bd1e22caee2acb8cd1b43ef5 /.gitattributes | |
| parent | 5f6021664aa3edf36ab7f37378c032a86bb655b2 (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>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions