CVS difference for ai05s/ai05-0038-1.txt

--- ai05s/ai05-0038-1.txt	2008/11/27 00:04:12	1.5
+++ ai05s/ai05-0038-1.txt	2011/11/01 05:32:50	1.6
@@ -105,7 +105,7 @@
 the current line number equals the specified value. If the value specified by
 To is equal to the current line number, there is no effect. If the value specified
 by To is less than the current line number, has the effect of calling New_Page
-followed by a call of New_Line with a spacing equal to (To – 1).>
+followed by a call of New_Line with a spacing equal to (To @endash 1).>
 @dby
 @xbullet<If the value specified by To is greater than the current line number,
 has the effect of repeatedly calling New_Line (with a spacing of one), until
@@ -113,7 +113,7 @@
 To is equal to the current line number, there is no effect. If the value specified
 by To is less than the current line number, has the effect of calling New_Page
 followed, if To is greater than 1, by a call of New_Line with a spacing equal
-to (To – 1).>
+to (To @endash 1).>
 
 !corrigendum A.10.7(8/1)