From 497c4e9eaca91229ddcefeae4f570cac72fc7150 Mon Sep 17 00:00:00 2001
From: "David B. Lamkins" <david@lamkins.net>
Date: Fri, 14 Apr 2017 11:24:09 +0200
Subject: build: install miscellaneous documentation

---
 configure | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index 8cfd512..24d4cd8 100755
--- a/configure
+++ b/configure
@@ -20,6 +20,7 @@ Installation directories:
 Fine tuning of the installation directories:
   --bindir=DIR            user executables [EPREFIX/bin]
   --sharedir=DIR          share directories [PREFIX/share]
+  --docdir=DIR            misc. documentation [PREFIX/share/doc]
   --mandir=DIR            man pages [PREFIX/share/man]
 
 Optional features:
@@ -114,6 +115,7 @@ PREFIX=/usr/local
 EXEC_PREFIX='$(PREFIX)'
 BINDIR='$(EXEC_PREFIX)/bin'
 SHAREDIR='$(PREFIX)/share'
+DOCDIR='$(PREFIX)/share/doc'
 MANDIR='$(PREFIX)/share/man'
 
 help=yes
@@ -132,6 +134,7 @@ case "$arg" in
 --exec-prefix=*) EXEC_PREFIX=${arg#*=} ;;
 --bindir=*) BINDIR=${arg#*=} ;;
 --sharedir=*) SHAREDIR=${arg#*=} ;;
+--docdir=*) DOCDIR=${arg#*=} ;;
 --mandir=*) MANDIR=${arg#*=} ;;
 --environment-only) environmentonly=yes ;;
 --static) static=yes ;;
@@ -160,7 +163,7 @@ LDFLAGS=*) LDFLAGS=${arg#*=} ;;
 esac
 done
 
-for i in SRCDIR PREFIX EXEC_PREFIX BINDIR SHAREDIR MANDIR ; do
+for i in SRCDIR PREFIX EXEC_PREFIX BINDIR SHAREDIR DOCDIR MANDIR ; do
 stripdir $i
 done
 
@@ -267,6 +270,7 @@ SRCDIR = $SRCDIR
 PREFIX = $PREFIX
 EXEC_PREFIX = $EXEC_PREFIX
 BINDIR = $BINDIR
+DOCPREFIX = $DOCDIR
 MANPREFIX = $MANDIR
 SHAREPREFIX = $SHAREDIR
 CC = $CC
-- 
cgit v1.2.3