version.h is not regenerated

Cristian Ionescu-Idbohrn cristian.ionescu-idbohrn at axis.com
Wed Oct 16 12:19:58 UTC 2013


$ grep '^version\.h' .gitignore
$ rm -f version.h
$ git diff
$ make
make -C .../Documentation
OUT=.../Documentation/ doc
make[1]: Entering directory
`.../Documentation'
make[1]: Nothing to be done for `doc'.
make[1]: Leaving directory
`.../Documentation'


Cheers,

-- 
Cristian


More information about the subsurface mailing list