X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=translit.sh;h=e9f0e2fe7efb411287ffc947134f589a85f2b212;hb=93b1d8b1f5f6ddbdf8f8af5190043e383498a7b7;hp=0bf85a05a3c524d549f0c71c11702cdb5c4510fd;hpb=12582873cbe57925728ccc0e9d12e405d4895600;p=c-standard

diff --git a/translit.sh b/translit.sh
index 0bf85a0..e9f0e2f 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,19 +41,24 @@ 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
 s/_ _/__/g
-s/\([0-9]\). \([0-9]\)/\1.\2/g
+# floats are sometimes broken
+s/\([0-9]\)\. \([0-9]\)/\1.\2/g
 ' | LC_ALL=C tr -c '\n-~' '?' | awk '
 BEGIN {
 	getline
 	last=$0
 	side=0
 }
+/^$/ {
+	nl=nl "\n"
+	next
+}
 /^\(newpage\)/ {
 	n=split(last,a)
 	if(side)
@@ -61,7 +66,7 @@ BEGIN {
 	else
 		p=a[n]
 	side=!side
-	print "[page " p "]"
+	print "\n[page " p "]"
 	getline
 	getline
 	last=$0
@@ -69,6 +74,6 @@ BEGIN {
 }
 {
 	print last
-	last=$0
-}
-'
+	last=nl $0
+	nl=""
+}'