[singular] 12/19: also install sing_dbm.h

[felix salfelder]

This is an automated email from the git hooks/post-receive script.

felix-guest pushed a commit to branch master
in repository singular.

commit 9a818c9c4186e3c84a6bbcbde26b331dbaf9739b
Author: Felix Salfelder <felix at salfelder.org>
Date:   Wed Mar 20 22:07:13 2013 +0100

    also install sing_dbm.h
    
    Forwarded: not-needed
---
 Singular/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Singular/Makefile.in b/Singular/Makefile.in
index 61bc6f7..960dcc0 100644
--- a/Singular/Makefile.in
+++ b/Singular/Makefile.in
@@ -618,7 +618,7 @@ install-libsingular: libsingular
 	  ${INSTALL_PROGRAM}  $$file $(DESTDIR)${libdir}; \
 	done
 	${INSTALL_PROGRAM} libsingular.h $(DESTDIR)${includedir}
-	for file in subexpr.h tok.h grammar.h ipid.h lists.h ipshell.h attrib.h silink.h table.h; do \
+	for file in subexpr.h tok.h grammar.h ipid.h lists.h ipshell.h attrib.h silink.h table.h sing_dbm.h; do \
 	sed -e "s:<kernel/:<singular/:" < $$file |sed -e "s:<Singular/:<singular/:"|sed -e "s:<omalloc/:<:"|sed -e "s:<factory/:<:" >$(DESTDIR)${includedir}/singular/$$file ;\
 	done
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/singular.git