diff options
author | Zhiming Wang <zmwangx@gmail.com> | 2016-12-13 19:21:30 -0500 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2016-12-14 21:43:30 +0100 |
commit | 870a6a11d99d67e5fcf1a1cb28c3de3167494470 (patch) | |
tree | 194fc7cf12f84b67f09b73cfe9451de9ec884390 /DOCS/man | |
parent | 544110bf430f34b75d86dd0ea416f8c5e5f9386d (diff) | |
download | mpv-870a6a11d99d67e5fcf1a1cb28c3de3167494470.tar.bz2 mpv-870a6a11d99d67e5fcf1a1cb28c3de3167494470.tar.xz |
manpage: add table of contents to the HTML version
The reST contents directive is added to mpv.rst.
In wscript_build.py, the --strip-elements-with-class=contents option is
needed for the rst2man call in order to prevent the TOC from appearing
in mpv.1.
Diffstat (limited to 'DOCS/man')
-rw-r--r-- | DOCS/man/mpv.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/DOCS/man/mpv.rst b/DOCS/man/mpv.rst index aa68bee896..7108306008 100644 --- a/DOCS/man/mpv.rst +++ b/DOCS/man/mpv.rst @@ -9,6 +9,8 @@ a media player :Manual section: 1 :Manual group: multimedia +.. contents:: Table of Contents + SYNOPSIS ======== |