Merge pull request #748 from null-a/docs-tweak-headings

Docs: Tweak some headings.
probmods · Jan 6, 2017 · 33d7b1c · 33d7b1c
2 parents 96c8791 + dc39ae2
commit 33d7b1c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/docs/functions/index.rst b/docs/functions/index.rst
@@ -1,9 +1,9 @@
-Functions
-=========
+Built-in Functions
+==================
 
 .. toctree::
    :maxdepth: 2
 
    arrays
    tensors
-   header
+   other
diff --git a/docs/functions/header.rst → docs/functions/other.rst b/docs/functions/header.rst → docs/functions/other.rst
@@ -1,5 +1,5 @@
-Header
-======
+Other
+=====
 
 .. js:function:: display(val)