diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2016-05-25 08:32:01 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2016-05-25 08:32:01 +0200 |
| commit | cb6020cdfea3d6dec6f6ad13843ab46f0c10d562 (patch) | |
| tree | 9b0b97b92da633cacca0964718d48cb5ffae8482 /debian/apt-doc.docs | |
| parent | a97127c3d019ee073c078dbb652a12386f58515b (diff) | |
use *.docs files instead of hardcoding in debian/rules
Git-Dch: Ignore
Diffstat (limited to 'debian/apt-doc.docs')
| -rw-r--r-- | debian/apt-doc.docs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/apt-doc.docs b/debian/apt-doc.docs index d59100e8d..6ef985371 100644 --- a/debian/apt-doc.docs +++ b/debian/apt-doc.docs @@ -1,3 +1,5 @@ +build/docs/guide* +build/docs/offline* README.progress-reporting doc/external-dependency-solver-protocol.txt doc/acquire-additional-files.txt |