diff --git a/doc/vars.tin b/doc/vars.tin
new file mode 100644
index 000000000..d3e67b7d4
--- /dev/null
+++ b/doc/vars.tin
@@ -0,0 +1,7 @@
+
+@c
+@c Variables depending on installation
+@c
+
+@set dbdir @dbdir@
+@set PACKAGE_VERSION @PACKAGE_VERSION@