From 67feec8c93c35add4ca4ea4516b56988e39c0b82 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Martin=20v=2E=20L=C3=B6wis?= <martin@v.loewis.de>
Date: Sat, 13 Dec 2008 14:07:35 +0000
Subject: [PATCH] Issue #4446: Add platforms keyword.

---
 Doc/dist/dist.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex
index aa063f93d4..32a39c1bed 100644
--- 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:
-- 
2.40.0