[Pkg-jed-commit] [SCM] Debian packaging of JED branch, jo-upstream-fixes, updated. 3bb27317d2e41070ee40080b18e63f569c2ac79e

[Jörg Sommer]

The following commit has been merged in the jo-upstream-fixes branch:
commit 488963ad98b129471eaee4e338206ff620ca73e7
Author: Jörg Sommer <joerg at alea.gnuu.de>
Date:   Sat May 24 15:25:03 2008 +0200

    Info dir

diff --git a/src/Makefile.in b/src/Makefile.in
index a4664b6..8f3876f 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -18,6 +18,7 @@ datarootdir = @datarootdir@
 JED_ROOT = @JED_ROOT@# <--- make sure # is at end of file!!
 BIN_DIR = @bindir@
 MAN_DIR = @mandir@/man1
+INFO_DIR = @infodir@
 INSTALL		= @INSTALL@
 INSTALL_DATA	= @INSTALL_DATA@
 MKINSDIR = ../autoconf/mkinsdir.sh
@@ -37,6 +38,7 @@ JED_INFO_FILES = ../info/*
 DESTDIR =
 DEST_BIN_DIR = $(DESTDIR)$(BIN_DIR)
 DEST_MAN_DIR = $(DESTDIR)$(MAN_DIR)
+DEST_INFO_DIR = $(DESTDIR)$(INFO_DIR)
 DEST_JED_ROOT = $(DESTDIR)$(JED_ROOT)
 
 #---------------------------------------------------------------------------
@@ -186,8 +188,8 @@ distclean: clean
 
 install_data_directories:
 	$(MKINSDIR) $(DEST_MAN_DIR)
+	$(MKINSDIR) $(DEST_INFO_DIR)
 	$(MKINSDIR) $(DEST_JED_ROOT)
-	$(MKINSDIR) $(DEST_JED_ROOT)/info
 	$(MKINSDIR) $(DEST_JED_ROOT)/doc
 	$(MKINSDIR) $(DEST_JED_ROOT)/doc/txt
 	$(MKINSDIR) $(DEST_JED_ROOT)/doc/hlp
@@ -259,8 +261,8 @@ install_data: install_data_directories
 	done
 	@for i in $(JED_INFO_FILES); \
 	do \
-		$(INSTALL_DATA) $$i $(DEST_JED_ROOT)/info/; \
-		echo $(INSTALL_DATA) $$i $(DEST_JED_ROOT)/info/; \
+		$(INSTALL_DATA) $$i $(DEST_INFO_DIR); \
+		echo $(INSTALL_DATA) $$i $(DEST_INFO_DIR); \
 	done
 install: all install_data install_bin
 #

-- 
Debian packaging of JED