From 89dc5c285715b3f61e68cafacf3a4b0f8b3a1d53 Mon Sep 17 00:00:00 2001
From: Patrik Eriksson <patrikerikss0n@users.noreply.github.com>
Date: Tue, 3 Dec 2019 09:31:26 +0100
Subject: [PATCH] docs: add options for watch and force polling (#7918)

Merge pull request 7918
---
 docs/_docs/configuration/options.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/_docs/configuration/options.md b/docs/_docs/configuration/options.md
index 0d90e772..6bd23f6b 100644
--- a/docs/_docs/configuration/options.md
+++ b/docs/_docs/configuration/options.md
@@ -171,6 +171,7 @@ class="flag">flags</code> (specified on the command-line) that control them.
         <p class="description">Enable auto-regeneration of the site when files are modified.</p>
       </td>
       <td class="align-center">
+        <p><code class="option">watch: BOOL</code></p>
         <p><code class="flag">-w, --[no-]watch</code></p>
       </td>
     </tr>
@@ -248,6 +249,7 @@ class="flag">flags</code> (specified on the command-line) that control them.
         <p class="description">Force watch to use polling.</p>
       </td>
       <td class="align-center">
+        <p><code class="option">force_polling: BOOL</code></p>
         <p><code class="flag">--force_polling</code></p>
       </td>
     </tr>