- (djm) Fix from Lutz Jaenicke <Lutz.Jaenicke@aet.TU-Cottbus.DE> for my

   broken makefile

1 files changed, 2 insertions, 2 deletions

diff --git a/Makefile.in b/Makefile.in
index 0458b3059..ac8b94a4e 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -1,4 +1,4 @@
-# $Id: Makefile.in,v 1.178 2001/06/27 11:52:33 djm Exp $
+# $Id: Makefile.in,v 1.179 2001/06/28 10:23:15 djm Exp $
 
 prefix=@prefix@
 exec_prefix=@exec_prefix@
@@ -221,7 +221,7 @@ install-files:
                 if [ -f $(DESTDIR)$(sysconfdir)/primes ]; then \
                         echo "moving $(DESTDIR)$(sysconfdir)/primes to $(DESTDIR)$(sysconfdir)/moduli"; \
                         mv "$(DESTDIR)$(sysconfdir)/primes" "$(DESTDIR)$(sysconfdir)/moduli"; \
-                else ; \
+                else \
                         $(INSTALL) -m 644 moduli.out $(DESTDIR)$(sysconfdir)/moduli; \
                 fi ; \
         else \