Force dependency of Reference-Manual.pdf over Reference-Manual.dvi to ensure not only that several passes are done and the references are correct but also to avoid one of the targets Reference-Manual.dvi or Reference-Manual.pdf reading .aux files modified concurrently by the other target.
Force dependency of Reference-Manual.pdf over Reference-Manual.dvi
to ensure not only that several passes are done and the references are
correct but also to avoid one of the targets Reference-Manual.dvi or
Reference-Manual.pdf reading .aux files modified concurrently by the
other target.

git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@14510 85f007b7-540e-0410-9357-904b9bb8a0f7

maximedenes/native-coq,maximedenes/native-coq,maximedenes/native-coq