[doc] Rename 'quick-ref' to 'help'.

It's the basis of the help builtin, so it makes sense.
oilshell · Nov 5, 2019 · b81324c · b81324c
1 parent bf385a7
commit b81324c
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 3 deletions.
diff --git a/build/doc.sh b/build/doc.sh
@@ -156,6 +156,9 @@ cmark() {
 }
 
 readonly DOCS=(
+  help
+  help-index
+
   # polished
   osh-manual known-differences
   errors
@@ -179,7 +182,6 @@ readonly DOCS=(
   eggex
   unicode
 
-
   data-model
   architecture-notes
 )

diff --git a/doc/quick-ref-index.md → doc/help-index.md b/doc/quick-ref-index.md → doc/help-index.md
@@ -1,5 +1,5 @@
 ---
-css_files: ../web/quick-ref-index.css ../web/toc.css
+css_files: ../web/help-index.css ../web/toc.css
 ---
 
 Index of Help Topics

diff --git a/doc/quick-ref.md → doc/help.md b/doc/quick-ref.md → doc/help.md
@@ -1,6 +1,6 @@
 ---
 in_progress: yes
-css_files: ../web/quick-ref.css ../web/toc.css
+css_files: ../web/help.css ../web/toc.css
 ---
 
 Oil Quick Reference

diff --git a/web/quick-ref-index.css → web/help-index.css b/web/quick-ref-index.css → web/help-index.css
diff --git a/web/quick-ref.css → web/help.css b/web/quick-ref.css → web/help.css