diff options
author | Eric Wong <e@80x24.org> | 2017-03-20 19:35:01 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2017-03-20 19:35:31 +0000 |
commit | 6c1222c373ef0152fb807f212595476e2377f74e (patch) | |
tree | 56413a848133dc922c6174123b242771a0517059 /GNUmakefile | |
parent | f70f5101ac040d7da3ec67c3a7c1664bb9d5193c (diff) | |
download | ruby_posix_mq-6c1222c373ef0152fb807f212595476e2377f74e.tar.gz |
This should make it easier for distros to pick this up without picking up olddoc, too. We will still use olddoc for generating the website since it reduces bandwidth costs, and for generating NEWS for our own builds.
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index 5096a61..66aa7c8 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -17,8 +17,8 @@ man html: pkg_extra += $(man1_paths) $(man1_paths): man -include pkg.mk -doc:: +doc:: html install -m644 COPYING-GPL2 doc/COPYING-GPL2 +include pkg.mk .PHONY: man html |