From 5c9e9f732df6d95d712f25de9880b7461c53d6ca Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Thu, 30 Jun 2011 15:19:13 +0000
Subject: Add support for the `build-timeout' and `--timeout' options.

---
 doc/manual/opt-common-syn.xml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'doc/manual/opt-common-syn.xml')

diff --git a/doc/manual/opt-common-syn.xml b/doc/manual/opt-common-syn.xml
index da60288b2a19..23bd36dd6bf0 100644
--- a/doc/manual/opt-common-syn.xml
+++ b/doc/manual/opt-common-syn.xml
@@ -21,6 +21,10 @@
   <arg><option>--max-silent-time</option></arg>
   <replaceable>number</replaceable>
 </arg>
+<arg>
+  <arg><option>--timeout</option></arg>
+  <replaceable>number</replaceable>
+</arg>
 <arg><option>--keep-going</option></arg>
 <arg><option>-k</option></arg>
 <arg><option>--keep-failed</option></arg>
-- 
cgit 1.4.1