[r2005-06-25 15:20:09 by beppe] put $VERSION in a distinct files so it can be included also when

building the pdf manual

Original author: beppe
Date: 2005-06-25 15:20:09+00:00

Makefile.distrib

 include Makefile.conf
-VERSION = 0.3.2+2
+include VERSION
 
 ALL_TARGET=cduce cduce_lib.cma
 INSTALL_BINARIES=cduce$(EXE)

VERSION

+VERSION=0.3.2+3

doc/fomanual/Makefile

 # include ../../Makefile.distrib
+include ../../VERSION
 JAVA_HOME=/usr/java/jre1.5.0
-VERSION=0.3.2
 BUILD_DIR:=$(PWD:/doc/fomanual=)
 CDUCE=$(BUILD_DIR)/cduce
 FOP=fop-0.20.5/fop.sh