diff --git a/doc/asdf.texinfo b/doc/asdf.texinfo
index 721eea238e21c3b22d2cbb57d7a7e0796b59326d..72a5d8e3e32872c3cf3daca06e42f898cbb2c847 100644
--- a/doc/asdf.texinfo
+++ b/doc/asdf.texinfo
@@ -1281,6 +1281,7 @@ system-option := :homepage string
                  | :mailto string
                  | :long-name string
                  | :source-control source-control
+                 | :version version-specifier
 
 source-control := (keyword string)