From e77259caf6e5e2adcdeeb00f7a05e4dfdc78532d Mon Sep 17 00:00:00 2001 From: "H. Peter Anvin" Date: Tue, 14 May 2002 21:28:54 +0000 Subject: [PATCH] Use em dash for the title --- doc/rdsrc.pl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/doc/rdsrc.pl b/doc/rdsrc.pl index e9f5c10..e2ee82c 100644 --- a/doc/rdsrc.pl +++ b/doc/rdsrc.pl @@ -1727,7 +1727,7 @@ sub write_texi { sprintf('%s: (%s).', $metadata{'infoname'}, $metadata{'infofile'}), $metadata{'infotitle'}; print "\@end direntry\n"; - print "\@settitle ",$metadata{'title'},"\n"; + print "\@settitle ", $metadata{'title'},"\n"; print "\@setchapternewpage odd\n"; print "\@c \%**end of header\n"; print "\n"; @@ -1740,7 +1740,9 @@ sub write_texi { print "\@end ifinfo\n"; print "\n"; print "\@titlepage\n"; - print "\@title ",$metadata{'title'},"\n"; + $title = $metadata{'title'}; + $title =~ s/ - / --- /g; + print "\@title ${title}\n"; print "\@author ",$metadata{'author'},"\n"; print "\n"; print "\@page\n"; -- 2.7.4