--- Makefile.in.orig 2016-04-20 23:33:09 UTC +++ Makefile.in @@ -83,6 +83,7 @@ ifneq ($(BUILDDOC_FORMATS),) # -- Build documentation @echo "Building documentation ..." (cd doc; \ + MAKE=$(MAKE) \ PREFIX=$(prefix) \ BUILD_ISO_ENTITIES=$(BUILD_ISO_ENTITIES) \ BUILD_ENTITY_MAP=$(BUILD_ENTITY_MAP) \ @@ -121,7 +122,7 @@ ifeq ($(BUILD_ISO_ENTITIES), true) endif # -- Install linuxdoc script - $(INSTALL_PROGRAM) bin/linuxdoc $(bin_ddir)/linuxdoc + $(INSTALL) -m755 bin/linuxdoc $(bin_ddir)/linuxdoc # -- Install auxiliary programs mkdir -p $(auxbin_ddir)