From 6c1222c373ef0152fb807f212595476e2377f74e Mon Sep 17 00:00:00 2001 From: Eric Wong Date: Mon, 20 Mar 2017 19:35:01 +0000 Subject: build: remove build-time olddoc dependency 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. --- GNUmakefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'GNUmakefile') 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 -- cgit v1.2.3-24-ge0c7