diff --git a/docs/Plugins.rst b/docs/Plugins.rst index 5f41bafed..90e6d5c37 100644 --- a/docs/Plugins.rst +++ b/docs/Plugins.rst @@ -1933,6 +1933,10 @@ all 'down ramps' that can remain after a cave-in (you don't have to designate anything for that to happen). .. _dig: +.. _digv: +.. _digvx: +.. _digl: +.. _diglx: dig ===