$ 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