diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/graph/viewman/Makefile.in | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/src/graph/viewman/Makefile.in b/src/graph/viewman/Makefile.in index 9f096bdd..38db35bf 100644 --- a/src/graph/viewman/Makefile.in +++ b/src/graph/viewman/Makefile.in @@ -54,7 +54,7 @@ viewman_headers = $(srcdir)/viewman.h \  viewman_DEPENDENCIES =  viewman_LDFLAGS = $(build_libdir)/libspad.la \ -		-L$(build_libdir) -lopen-axiom-core +		-L$(build_libdir) -lopen-axiom-core ${LDF}  subdir = src/graph/viewman/ | 
