diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-05-20 19:26:59 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-05-20 19:38:57 +0200 |
commit | 84c983f1657e1732e1279256489dd3903ce4af33 (patch) | |
tree | fd97313eaf2a18c2fa5132bc853c598d1aeb0e6d | |
parent | fa876b2cd08ba46e494c6df5abd3caa2ce96dc3e (diff) | |
download | patches-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.scm | 4 |
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. |