tools: do not regenerate nit_version.nit if not needed
[nit.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 260 advanced_options