From 8ee3dd07351f9131112b55551e07bf3975be1246 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Wed, 19 Feb 2014 15:10:20 +0100
Subject: [PATCH] Don't mention non-existing header xif/if.h
---
parallel/ddd/Makefile.am | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/parallel/ddd/Makefile.am b/parallel/ddd/Makefile.am
index 846532e8d..892003a9e 100644
--- a/parallel/ddd/Makefile.am
+++ b/parallel/ddd/Makefile.am
@@ -31,7 +31,7 @@ pkginclude_HEADERS = include/ddd.h
EXTRA_DIST = include/dddaddon.h include/ddd.h include/memmgr.h include/dddio.h \
include/fddd.f include/dddresources.h \
- xif/if.h dddstr.h
+ dddstr.h
libddd2_la_SOURCES = $(DDD)
libddd2_la_CPPFLAGS = $(UG_2DFLAGS) $(DDDFLAGS)
--
GitLab