ctrl: Add doxygen API documentation; generate html from it

Closes: OS#3293
Change-Id: I8dc2f24d4bf557ff7bb0f2f46881f9f8d9d7f86f
diff --git a/configure.ac b/configure.ac
index 79ef9d4..cb580a3 100644
--- a/configure.ac
+++ b/configure.ac
@@ -371,4 +371,5 @@
 	Doxyfile.codec
 	Doxyfile.coding
 	Doxyfile.gb
+	Doxyfile.ctrl
 	Makefile)