diff options
| author | Guillem Jover <guillem@debian.org> | 2015-10-30 02:35:00 +0100 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2015-12-12 21:57:29 +0100 |
| commit | f3af91bcb364140590ed3736f562dfe849bb6b72 (patch) | |
| tree | e57263b91612e517c59f1f07a7c99ddb66bf73a3 /run-script | |
| parent | c5e8c926397056044711ee9649d74c5dda2f21dc (diff) | |
| download | dpkg-f3af91bcb364140590ed3736f562dfe849bb6b72.tar.gz | |
build: Add an configure option to choose the kind of documentation
The option --disable-devel-docs can be used to override the current
default, which is to build development documentation.
Diffstat (limited to 'run-script')
0 files changed, 0 insertions, 0 deletions