diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex
index aa063f9..32a39c1 100644
--- a/Doc/dist/dist.tex
+++ b/Doc/dist/dist.tex
@@ -866,6 +866,8 @@
          {URL}{(4)}
   \lineiv{classifiers}{a list of classifiers}
          {list of strings}{(4)}
+  \lineiv{platforms}{a list of platforms}
+         {list of strings}{}
 \end{tableiv}
 
 \noindent Notes: