#!/bin/sh


# This file is a placeholder to keep the doxygen subdir in place.  It
# will be used to test for the presence of doxygen(1) and run it.