diff options
author | Alessandro Pilotti <apilotti@cloudbasesolutions.com> | 2017-02-27 20:17:14 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-27 20:17:14 +0300 |
commit | 134212bcc2051e6671f923fca5627a69ec2ef1ed (patch) | |
tree | bd07003982bb222c030ad40a007cfb1932071d3f | |
parent | 009a7db4167c6f102b26927ebffaa0f5f96b86d0 (diff) | |
parent | 707fac1752fe9a986d3089480cf2403ab9da1b05 (diff) |
Merge pull request #152 from FransUrbo/dont_install_doc-html
Don't install doc/html as docs - directory don't exists.
-rw-r--r-- | wsgate/debian/docs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/wsgate/debian/docs b/wsgate/debian/docs index 538ca5e..841c52d 100644 --- a/wsgate/debian/docs +++ b/wsgate/debian/docs @@ -1,3 +1,2 @@ NOTICE README -doc/html |