Fix em dashes which were broken by charset cleanup change
authorH. Peter Anvin <hpa@zytor.com>
Tue, 21 May 2002 06:07:36 +0000 (06:07 +0000)
committerH. Peter Anvin <hpa@zytor.com>
Tue, 21 May 2002 06:07:36 +0000 (06:07 +0000)
doc/genps.pl

index d406ebb..02828c9 100755 (executable)
@@ -1048,10 +1048,10 @@ $ps_page = 0;
 # Title page
 ps_start_page();
 $title = $metadata{'title'} || '';
-$title =~ s/ \- / $emdash /;
+$title =~ s/ \- / $charcode{'emdash'} /;
 
 $subtitle = $metadata{'subtitle'} || '';
-$subtitle =~ s/ \- / $emdash /;
+$subtitle =~ s/ \- / $charcode{'emdash'} /;
 
 # Print title
 print "/ti ", ps_string($title), " def\n";