mikegerwitz
/
hoxsl
1
0
Fork 0
Code Releases Activity

Manual title version fix 

* doc/hoxsl.texi: include version.texi before @settitle
master
Mike Gerwitz 2016-03-30 00:12:09 -04:00
parent d38c6b3a8f
commit 09bf0d1807
No known key found for this signature in database
GPG Key ID: F22BB8158EE30EAB
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
doc/hoxsl.texi
View File

@ -2,11 +2,12 @@
@c %**start of header
@setfilename hoxsl.info
@documentencoding UTF-8
@settitle hoxsl Manual v@value{VERSION}
@c %**end of header
@include version.texi
@settitle hoxsl Manual v@value{VERSION}
@c %**end of header
@copying
This manual is for hoxsl, version @value{VERSION}.