diff options
| author | Lars Wirzenius <liw@liw.fi> | 2015-06-29 15:39:44 +0300 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2015-06-29 15:39:44 +0300 |
| commit | 377247630a0da10470e23980db90c7923064a605 (patch) | |
| tree | dac4ee772be175a80c94478d1c0280a3c3edc1de /debian/rules | |
| parent | 7e4528482b7bf03d2953819e157abab09269278c (diff) | |
| download | obnam-377247630a0da10470e23980db90c7923064a605.tar.gz | |
Don't build PDF manual in Debian package
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index ec667cda..b9925e96 100755 --- a/debian/rules +++ b/debian/rules @@ -4,7 +4,7 @@ override_dh_auto_build: dh_auto_build - make -C manual + make -C manual html override_dh_auto_test: python setup.py build_ext -i |