diff --git a/manuals.opts b/manuals.opts
new file mode 100644
index 0000000..2ba5237
--- /dev/null
+++ b/manuals.opts
@@ -0,0 +1 @@
+ALL --enable-manuals
diff --git a/no_doxygen.opts b/no_doxygen.opts
new file mode 100644
index 0000000..b2aa682
--- /dev/null
+++ b/no_doxygen.opts
@@ -0,0 +1 @@
+ALL --disable-doxygen
diff --git a/no_optimization.opts b/no_optimization.opts
new file mode 100644
index 0000000..3d85054
--- /dev/null
+++ b/no_optimization.opts
@@ -0,0 +1 @@
+ALL CFLAGS="-g -O0"