diff options
| author | Peter Lemenkov <lemenkov@gmail.com> | 2010-06-12 16:24:12 +0400 |
|---|---|---|
| committer | Badlop <badlop@process-one.net> | 2010-06-16 16:05:07 +0200 |
| commit | 2477b735bf5eba52a8e10d0bfe2352196338c50d (patch) | |
| tree | d90f05fb74db4017d4ed4d8ee8e803fa6df5adf3 /src | |
| parent | Install dev.html, and guide.pdf if it exists (diff) | |
Install COPYING file along with other docs
It's a generally good idea to provide file with licensing terms.
Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index c7bcdc1f4..94fa8b1ac 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -257,6 +257,7 @@ install: all [ -f ../doc/guide.pdf ] \ && install -m 644 ../doc/guide.pdf $(DOCDIR) \ || echo "No ../doc/guide.pdf was built" + install -m 644 ../COPYING $(DOCDIR) uninstall: uninstall-binary |