diff --git a/control/bin/doxygen b/control/bin/doxygen new file mode 100755 index 0000000..29b4366 Binary files /dev/null and b/control/bin/doxygen differ