X-Git-Url: http://nsz.repo.hu/git/?p=c-standard;a=blobdiff_plain;f=translit.sh;h=dce2b08d30e21a7a42df683c22f1a2d53b424d45;hp=e9f0e2fe7efb411287ffc947134f589a85f2b212;hb=refs%2Fheads%2Fmaster;hpb=93b1d8b1f5f6ddbdf8f8af5190043e383498a7b7

diff --git a/translit.sh b/translit.sh
index e9f0e2f..dce2b08 100755
--- a/translit.sh
+++ b/translit.sh
@@ -8,10 +8,13 @@ s/\f/(newpage)/g
 # utf8 fixes
 s/fi/fi/g
 s/fl/fl/g
+s/ff/ff/g
+s/ffi/ffi/g
 s/§/!S/g
 s/©/(C)/g
 s/—/--/g
 s/−/-/g
+s/–/-/g
 s/∗/*/g
 s/ˆ/^/g
 s/〈/</g
@@ -45,6 +48,9 @@ s/↔/<->/g
 s/→/->/g
 s/‘/'\''/g
 s/’/'\''/g
+s/“/"/g
+s/”/"/g
+s/∼/~/g
 # pdftotext layout fixes
 s/_ _/__/g
 # floats are sometimes broken
@@ -59,6 +65,17 @@ BEGIN {
 	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)
@@ -66,6 +83,9 @@ BEGIN {
 	else
 		p=a[n]
 	side=!side
+#	if (p !~ /[0-9]/ && $0 ~ /INTERNATIONAL STANDARD/)
+#		p=0
+#	print "\n[page " inc(p) "]"
 	print "\n[page " p "]"
 	getline
 	getline