diff --git a/generators/dvi/config.h b/generators/dvi/config.h
new file mode 100644
index 000000000..c5b80e118
--- /dev/null
+++ b/generators/dvi/config.h
@@ -0,0 +1,2 @@
+/* empty, just to make dvi compile without changing the sources */
+