summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-05-20 19:26:59 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2020-05-20 19:38:57 +0200
commit84c983f1657e1732e1279256489dd3903ce4af33 (patch)
treefd97313eaf2a18c2fa5132bc853c598d1aeb0e6d
parentfa876b2cd08ba46e494c6df5abd3caa2ce96dc3e (diff)
downloadpatches-84c983f1657e1732e1279256489dd3903ce4af33.tar
patches-84c983f1657e1732e1279256489dd3903ce4af33.tar.gz
gnu: gnu-efi: Mark up description.
* gnu/packages/efi.scm (gnu-efi)[description]: Use @acronym.
-rw-r--r--gnu/packages/efi.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/efi.scm b/gnu/packages/efi.scm
index 1aaf45f298..da00fdf932 100644
--- a/gnu/packages/efi.scm
+++ b/gnu/packages/efi.scm
@@ -54,8 +54,8 @@
(modify-phases %standard-phases
(delete 'configure))))
(synopsis "EFI toolchain")
- (description "This package provides an EFI (Extensible Firmware
-Interface) toolchain for building programs that can run in the
+ (description "This package provides an @acronym{EFI, Extensible Firmware
+Interface} toolchain for building programs that can run in the
environment presented by Intel's EFI.")
(home-page "https://directory.fsf.org/wiki/GNU_EFI")
;; Distribution is allowed only when accepting all those licenses.