From f1ea3003402abdcb1bce0865098148ec73a5c491 Mon Sep 17 00:00:00 2001
From: "Thomas \"Cakeisalie5\" Touhey" <thomas@touhey.fr>
Date: Sun, 12 Mar 2017 11:55:53 +0100
Subject: [PATCH] Changed manpages options, made the building optional.

---
 Makefile  | 3 ++-
 configure | 4 ++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 9718ade..9ecaf55 100755
--- a/Makefile
+++ b/Makefile
@@ -149,7 +149,8 @@ $(eval $(call make-binaryobj-rule,$(bin),$(obj)))))
 define make-binary-rules
  $1$(if $(FOR_WINDOWS),.exe): $(SRC_$1:%=$(OBJDIR)/$1/%.o) | $(OBJDIR)/$1
 	$(call bcmd,ld,$$@,$(LD) -o $$@ $$^ $(LDFLAGS_$1))
- all-$1 all-$1.exe: $(CHECKCFG) $1$(if $(FOR_WINDOWS),.exe) all-doc-$1
+ all-$1 all-$1.exe: $(CHECKCFG) $1$(if $(FOR_WINDOWS),.exe) \
+  $(if $(INSTALL_MANPAGES),all-doc-$1)
 
  clean-$1 clean-$1.exe:
 	$(call rmsg,Removing $1 and its objects directory.)
diff --git a/configure b/configure
index c24db40..f83b078 100755
--- a/configure
+++ b/configure
@@ -49,7 +49,7 @@ Build options:
   --default-storage=STOR    the default storage device [$default_storage]
 
 Installation options:
-  --noinstall-manpages      do not install manpages
+  --no-manpages             do not install manpages
 
 Installation directories:
   --root=ROOT               installation root [$root]
@@ -116,7 +116,7 @@ for arg ; do case "$arg" in
 	fi
 	# then set
 	default_storage="$storage" ;;
---noinstall-manpages) install_manpages= ;;
+--no-manpages) install_manpages= ;;
 --root=*) root="${arg#*=}" ;;
 --prefix=*) prefix="${arg#*=}" ;;
 --bindir=*) bindir="${arg#*=}" ;;