$ which doxygen
/home/gauthier/bin/doxygen
$ $(which doxygen) -v
1.8.13
$ doxygen -v
1.8.11 # <- ???
$ doxygen
error: Doxyfile not found and no input file specified!
Doxygen version 1.8.11
Copyright Dimitri van Heesch 1997-2015
# ... doxygen's help
$ type -a doxygen
doxygen is /home/gauthier/bin/doxygen
doxygen is /home/gauthier/bin/doxygen
doxygen is /usr/bin/doxygen
I'm trying to setup a new version of doxygen, to use in parallel to the one already on my machine.
I downloaded binaries, placed them somewhere in /opt, and created a symlink to them in my ~/bin, which is in my PATH.
As seen in the terminal paste above, running doxygen does not seem to call to the same binary found by which doxygen.
What might be going on?