diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-08-03 03:29:50 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-08-03 23:26:40 +0200 |
commit | 245fae9077e72ffc513e07de0ae4cc4dfdc9f041 (patch) | |
tree | eefbca348e6ecd78b4bc43d86276e1ca321faf94 /gnu/packages/ocr.scm | |
parent | f8f2b048b9e74e566b59538b8f01217bf74b6012 (diff) | |
download | patches-245fae9077e72ffc513e07de0ae4cc4dfdc9f041.tar patches-245fae9077e72ffc513e07de0ae4cc4dfdc9f041.tar.gz |
gnu: gmp: Use @acronym{} in Texinfo.
* gnu/packages/multiprecision.scm (gmp)[description]: Substitute
@acronym{} for @dfn{}.
Diffstat (limited to 'gnu/packages/ocr.scm')
0 files changed, 0 insertions, 0 deletions