Add Remote Execution Guide to Contents page.

yongjuntian · Oct 28, 2018 · 2587e15 · 2587e15
1 parent 91438a4
commit 2587e15
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/contents.txt b/docs/contents.txt
@@ -14,6 +14,7 @@ Contents
    getting_started
    HowTo
    wait_long_operations
+   remote_execution
    controls_overview
    credits