Rebuild generated files if re-configured.
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu May 01 19:47:25 2008 +0000 (2008-05-01)
changeset 470341c43d832f1
parent 469 bac4b330b8be
child 471 fdc40a921d80
Rebuild generated files if re-configured.

/trunk/Makefile.in | 2 1 1 0 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Makefile.in
     1.1 --- a/Makefile.in	Wed Apr 30 16:58:23 2008 +0000
     1.2 +++ b/Makefile.in	Thu May 01 19:47:25 2008 +0000
     1.3 @@ -53,7 +53,7 @@
     1.4  	@echo "  GZIP   $@"
     1.5  	@gzip -c9 $< >$@
     1.6  
     1.7 -%: %.in
     1.8 +%: %.in Makefile
     1.9  	@echo "  SED    $@"
    1.10  	@sed -r -e 's,@@CT_MAKE@@,$(MAKE),g;'       \
    1.11  	        -e 's,@@CT_BINDIR@@,$(BINDIR),g;'   \