godoc: add options to use index (#2234)

2018-08-20 22:01:17 +05:30 · 2018-08-20 22:01:17 +05:30 · c40a7761a1
parent 346d60f005
commit c40a7761a1
1 changed files with 8 additions and 0 deletions
--- 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}}`