#!/usr/bin/php
<?php
+/**
+ * @file util/createdoxygen.php
+ * @brief Adds a doxygen header to functions
+ */
+
if (count($_SERVER["argv"]) < 2)
die("usage: createdoxygen.php file\n");
$previous = $line;
}
+/**
+ * @brief Adds a doxygen header
+ *
+ * @param string $line The current line of the document
+ *
+ * @return string added doxygen header
+ */
function add_documentation($line) {
$trimmed = ltrim($line);