Minor spacing tweaks in the manual

This commit is contained in:
Protesilaos Stavrou 2021-03-03 11:22:23 +02:00
parent 33dfd8e386
commit 4fe8412e19
No known key found for this signature in database
GPG key ID: 99BD6459CD5CA3EA
3 changed files with 5 additions and 5 deletions

View file

@ -38,7 +38,7 @@ does not yet form part of the latest tagged commit, is explicitly marked
as such.
Current development target is 1.2.0-dev. This manual was rebuilt on
2021-03-03 11:04 +0200.
2021-03-03 11:22 +0200.
* Menu:

View file

@ -3304,19 +3304,19 @@ to permit their use in free software.
** Function index
:PROPERTIES:
:INDEX: fn
:INDEX: fn
:CUSTOM_ID: h:6bec5005-529c-4521-ae05-3d990baffb5b
:END:
** Variable index
:PROPERTIES:
:INDEX: vr
:INDEX: vr
:CUSTOM_ID: h:16ad8df6-b015-40a9-9259-03d4f7a23ee4
:END:
** Concept index
:PROPERTIES:
:INDEX: cp
:INDEX: cp
:CUSTOM_ID: h:6aa7a656-884b-4c39-b759-087e412eec13
:END:

View file

@ -53,7 +53,7 @@ feature which does not yet form part of the latest tagged commit, is
explicitly marked as such.
Current development target is 1.2.0-dev. This manual was
rebuilt on 2021-03-03 11:04 +0200.
rebuilt on 2021-03-03 11:22 +0200.
@end ifnottex