From 8fb7db71bc0ad9991917e5884ad501ceaa898ee0 Mon Sep 17 00:00:00 2001 From: Marian Beermann Date: Wed, 7 Jun 2017 00:06:36 +0200 Subject: docs: split usage --- docs/usage/check.rst.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/usage/check.rst.inc') diff --git a/docs/usage/check.rst.inc b/docs/usage/check.rst.inc index 56bc42c8c..08aef0868 100644 --- a/docs/usage/check.rst.inc +++ b/docs/usage/check.rst.inc @@ -24,7 +24,7 @@ optional arguments ``--save-space`` | work slower, but using less space -`Common options`_ +:ref:`common_options` | filters -- cgit v1.2.3