+// xforms stuff
+#include "controllers/ControlERT.h"
+#include "controllers/ControlFloat.h"
+#include "controllers/ControlShowFile.h"
+#include "controllers/ControlToc.h"
+#include "xforms/FormBrowser.h"
+#include "xforms/form_browser.h"
+#include "xforms/FormDocument.h"
+#include "xforms/FormERT.h"
+#include "xforms/form_ert.h"
+#include "xforms/FormFloat.h"
+#include "xforms/form_float.h"
+#include "xforms/FormMathsPanel.h"
+#include "xforms/FormParagraph.h"
+#include "xforms/FormPreferences.h"
+#include "xforms/FormShowFile.h"
+#include "xforms/FormTabular.h"
+#include "xforms/FormToc.h"
+#include "xforms/form_toc.h"
+