From 968ba4e6b43674e7cfd5838b7cdf60a8ac5178d9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Robert=20Kr=C3=A1tk=C3=BD?= Date: Wed, 25 Oct 2023 14:40:00 +0200 Subject: [PATCH] Redefine the 'command' role in docs. --- doc/reuse/substitutions.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/reuse/substitutions.txt b/doc/reuse/substitutions.txt index 916bac40..55a629f2 100644 --- a/doc/reuse/substitutions.txt +++ b/doc/reuse/substitutions.txt @@ -1,2 +1,3 @@ .. |ubuntu-latest-version| replace:: 23.04 .. |ubuntu-latest-codename| replace:: Lunar Lobster +.. role:: command(literal)