>might prevent doxygen finding the headers in the host_alias directory, >as run_doxygen is called with an empty host_alias value: Yep. This patch is fine, thanks. -benjamin