the manual had been compiled without the compiling script and thus without the references; I fixed that