Issue #4446: Add platforms keyword.

diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex
index aa063f93d4f991d42e2e665fecbca27e5e904f4c..32a39c1bede179dce0aacef596af150644a6c342 100644 (file)
--- a/Doc/dist/dist.tex
+++ b/Doc/dist/dist.tex
@@ -866,6 +866,8 @@ version. This information includes:
          {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: