Update a manual download size.

Other updates should follow.

diff --git a/Documentation/web/manuals.itexi b/Documentation/web/manuals.itexi
index fddd09ad6a4aa232aa71b12434d998ef1fbbd2f2..661421b29b4acd3764ab9ea853556682a3712960 100644 (file)
--- a/Documentation/web/manuals.itexi
+++ b/Documentation/web/manuals.itexi
@@ -290,8 +290,8 @@ attempting any large projects.
 @docLinks{Usage, usage,
   @rprogramnamed{Top,Usage},
   @manualStableUsageSplit,
-  @manualStableUsageBig, 300 KB,
-  @manualStableUsagePdf, 400 KB}
+  @manualStableUsageBig, 400 KB,
+  @manualStableUsagePdf, 600 KB}
 
 @divEnd