diff options
| author | Jonathan McCrohan <jmccrohan@gmail.com> | 2014-03-23 01:10:54 +0000 |
|---|---|---|
| committer | Jonathan McCrohan <jmccrohan@gmail.com> | 2014-03-23 01:12:35 +0000 |
| commit | 75285b1c7340663b4e9b848b385ea50ebe3eac06 (patch) | |
| tree | b7966791e9a811ff218d31a2617f78263d659f52 /debian/patches/series | |
| parent | 9068001d20353a23d423ae2e770b96300003b50f (diff) | |
| download | wavemon-75285b1c7340663b4e9b848b385ea50ebe3eac06.tar.gz | |
Manually install docs using dh (Closes: #736932)
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series index f5eb0a6..18ef635 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1 @@ -01-remove-extra-copyright-file.patch +01-patch-makefile.in-to-not-install-docs.patch |