Created new html version of the manual by manually editing the html of the new html...

[splint.git] / preBuilt / Makefile.am

diff --git a/preBuilt/Makefile.am b/preBuilt/Makefile.am
index d6aaf3a49a71a1f09cf3a343d077739ceb99c50c..2d73753985ac15860a15125025ade85c4b0fe461 100644 (file)
--- a/preBuilt/Makefile.am
+++ b/preBuilt/Makefile.am
@@ -13,6 +13,7 @@ CHECK = 1
 YFLAGS = -v -t -d --debug --no-lines
 LFLAGS = -L
 
+binaryDir = bin
 
 ## We only build Splint
 bin_PROGRAMS = splint
@@ -26,6 +27,11 @@ DIST_SOURCES =
 #chessy hack so it doesn't try to build splint
 splint$(EXEEXT): ;
 
+install-exec-hook: $(top_builddir)/src/splint$(EXEEXT)
+
+$(top_builddir)/src/splint$(EXEEXT): splint$(EXEEXT)
+       ln -s ../$(binaryDir)/splint $(top_builddir)/src/splint$(EXEEXT)
+
 #don't delete ./splint
 clean: ;