diff --git a/doc/version.tex b/doc/version.tex
deleted file mode 100644
index 79d624125..000000000
--- a/doc/version.tex
+++ /dev/null
@@ -1,2 +0,0 @@
-% ejabberd version (automatically generated).
-\newcommand{\version}{13.10}