From c40a7761a182aefc1327805aa0e2ac7698374a31 Mon Sep 17 00:00:00 2001
From: Agniva De Sarker <agnivade@yahoo.co.in>
Date: Mon, 20 Aug 2018 22:01:17 +0530
Subject: [PATCH] godoc: add options to use index (#2234)

---
 pages/common/godoc.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/pages/common/godoc.md b/pages/common/godoc.md
index 9119ad080..f51b69156 100644
--- a/pages/common/godoc.md
+++ b/pages/common/godoc.md
@@ -13,3 +13,11 @@
 - Serve documentation as a web server on port "6060":
 
 `godoc -http=:{{6060}}`
+
+- Create an index file:
+
+`godoc -write_index -index_files={{path/to/file}}`
+
+- Use the given index file to search the docs:
+
+`godoc -http=:{{6060}} -index -index_files={{path/to/file}}`