X-Git-Url: http://nsz.repo.hu/git/?p=c-standard;a=blobdiff_plain;f=translit.sh;h=d880571238bd0ca60a877469ad66bee3365d677d;hp=c284ee82525d61dbecdf561e5e5de6b64238c214;hb=64f77827d2ab6711efabb423a08933f289dbce5e;hpb=55287fa4e5aac9f9cdbb034e4b0e8596cfb5ab2a

diff --git a/translit.sh b/translit.sh
index c284ee8..d880571 100755
--- a/translit.sh
+++ b/translit.sh
@@ -30,7 +30,7 @@ s/≤/<=/g
 s/≥/>=/g
 s/≠/!=/g
 s/Σ/(Sum)/g
-s/√/sqrt:/g
+s/√/(sqrt)/g
 s/π/pi/g
 s/∞/(inf)/g
 s/ƒ/fl./g
@@ -41,8 +41,8 @@ s/•/o/g
 s/⎯/-/g
 s/↑/(uparrow)/g
 s/↓/(downarrow)/g
-s/↔/(<->)/g
-s/→/(->)/g
+s/↔/<->/g
+s/→/->/g
 s/‘/'\''/g
 s/’/'\''/g
 # pdftotext layout fixes
@@ -55,6 +55,21 @@ BEGIN {
 	last=$0
 	side=0
 }
+/^$/ {
+	nl=nl "\n"
+	next
+}
+# TODO: shift page numbers
+#function inc(x) {
+#	if (x ~ /[0-9]/)
+#		return x+1
+#	if (sub(/viii$/,"ix",x) ||
+#	    sub(/iii$/,"iv",x) ||
+#	    sub(/iv$/,"v",x) ||
+#	    sub(/ix$/,"x",x))
+#		return x
+#	return x "i"
+#}
 /^\(newpage\)/ {
 	n=split(last,a)
 	if(side)
@@ -62,7 +77,10 @@ BEGIN {
 	else
 		p=a[n]
 	side=!side
-	print "[page " p "]"
+#	if (p !~ /[0-9]/ && $0 ~ /INTERNATIONAL STANDARD/)
+#		p=0
+#	print "\n[page " inc(p) "]"
+	print "\n[page " p "]"
 	getline
 	getline
 	last=$0
@@ -70,6 +88,6 @@ BEGIN {
 }
 {
 	print last
-	last=$0
-}
-'
+	last=nl $0
+	nl=""
+}'