diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-08-20 12:17:41 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-08-20 12:20:45 +0200 |
| commit | fa4ebd2f08d0acc25feca827f7e43e8774843a10 (patch) | |
| tree | e1277aa60dfcd11f0a50d4a084953c3bbbca6f9a | |
| parent | f307a9eca5db02904f5bc8e13cf96a4631788c8b (diff) | |
| download | guix-fa4ebd2f08d0acc25feca827f7e43e8774843a10.tar guix-fa4ebd2f08d0acc25feca827f7e43e8774843a10.tar.gz | |
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 "::".
| -rw-r--r-- | doc/guix.texi | 4 |
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 |