Compilation error when several users use the same machine
The target 'doc/org' creates files in /tmp, so if someone has already compiled on the same machine, these files already exist and the compilation fails.
The files are : /tmp/.libs/C-bin-*
The target 'doc/org' creates files in /tmp, so if someone has already compiled on the same machine, these files already exist and the compilation fails.
The files are : /tmp/.libs/C-bin-*