diff options
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 e15c1e9..57da4e9 100755 --- a/debian/rules +++ b/debian/rules @@ -19,7 +19,7 @@ build-stamp: python setup.py -q build # build doc - $(MAKE) -C doc + $(MAKE) -C doc || true touch build-stamp |