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 ======== diff --git a/wscript_build.py b/wscript_build.py index 461e971f66..b7c7b39464 100644 --- a/wscript_build.py +++ b/wscript_build.py @@ -28,7 +28,7 @@ def _build_man(ctx): name = 'rst2man', target = 'DOCS/man/mpv.1', source = 'DOCS/man/mpv.rst', - rule = '${RST2MAN} ${SRC} ${TGT}', + rule = '${RST2MAN} --strip-elements-with-class=contents ${SRC} ${TGT}', install_path = ctx.env.MANDIR + '/man1') _add_rst_manual_dependencies(ctx)