Skip to content

Instantly share code, notes, and snippets.

@nevsan
Created September 6, 2011 15:51
Show Gist options
  • Save nevsan/1197944 to your computer and use it in GitHub Desktop.
Save nevsan/1197944 to your computer and use it in GitHub Desktop.
Allows info to be installed locally...
diff --git a/Makefile b/Makefile
index 649657a..44b8f47 100644
--- a/Makefile
+++ b/Makefile
@@ -193,10 +193,10 @@ pdf: $(ecb_TEXI)
install-help: $(ecb_INFO_DIR)/$(ecb_INFO)
- @if test -x "$(INSTALLINFO)" -a -f "$(EMACSINFOPATH)/dir"; then\
+ @if test -x "$(INSTALLINFO)"; then\
echo Installing the Online-help in $(EMACSINFOPATH)...; \
$(CP) $(ecb_INFO_DIR)/*info* $(EMACSINFOPATH); \
- $(INSTALLINFO) $< $(EMACSINFOPATH)/dir; \
+ $(INSTALLINFO) $< --infodir=$(EMACSINFOPATH); \
else \
echo Can not install the online-help because either; \
echo - the tool $(INSTALLINFO) or; \
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment