summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-08-20 12:17:41 +0200
committerLudovic Courtès <ludo@gnu.org>2018-08-20 12:20:45 +0200
commitfa4ebd2f08d0acc25feca827f7e43e8774843a10 (patch)
treee1277aa60dfcd11f0a50d4a084953c3bbbca6f9a /doc
parentf307a9eca5db02904f5bc8e13cf96a4631788c8b (diff)
doc: Remove extra space before colon in menu entries.
Fixes <https://bugs.gnu.org/32473>. Reported by HiPhish <hiphish@posteo.de>. * doc/guix.texi (Top, Defining Packages): In menu, remove extra space before "::".
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 0b72e5d8ce..d2d278df47 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -170,7 +170,7 @@ Programming Interface
Defining Packages
-* package Reference :: The package data type.
+* package Reference:: The package data type.
* origin Reference:: The origin data type.
Utilities
@@ -3522,7 +3522,7 @@ when @var{cut?} returns true for a given package.
@end deffn
@menu
-* package Reference :: The package data type.
+* package Reference:: The package data type.
* origin Reference:: The origin data type.
@end menu