projects
/
c-standard
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add #1.2.3p4 style paragraph links
[c-standard]
/
translit.sh
diff --git
a/translit.sh
b/translit.sh
index
c284ee8
..
dce2b08
100755
(executable)
--- a/
translit.sh
+++ b/
translit.sh
@@
-8,10
+8,13
@@
s/\f/(newpage)/g
# utf8 fixes
s/fi/fi/g
s/fl/fl/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/§/!S/g
s/©/(C)/g
s/—/--/g
s/−/-/g
+s/–/-/g
s/∗/*/g
s/ˆ/^/g
s/〈/</g
s/∗/*/g
s/ˆ/^/g
s/〈/</g
@@
-30,7
+33,7
@@
s/≤/<=/g
s/≥/>=/g
s/≠/!=/g
s/Σ/(Sum)/g
s/≥/>=/g
s/≠/!=/g
s/Σ/(Sum)/g
-s/√/
sqrt:
/g
+s/√/
(sqrt)
/g
s/π/pi/g
s/∞/(inf)/g
s/ƒ/fl./g
s/π/pi/g
s/∞/(inf)/g
s/ƒ/fl./g
@@
-41,10
+44,13
@@
s/•/o/g
s/⎯/-/g
s/↑/(uparrow)/g
s/↓/(downarrow)/g
s/⎯/-/g
s/↑/(uparrow)/g
s/↓/(downarrow)/g
-s/↔/
(<->)
/g
-s/→/
(->)
/g
+s/↔/
<->
/g
+s/→/
->
/g
s/‘/'\''/g
s/’/'\''/g
s/‘/'\''/g
s/’/'\''/g
+s/“/"/g
+s/”/"/g
+s/∼/~/g
# pdftotext layout fixes
s/_ _/__/g
# floats are sometimes broken
# pdftotext layout fixes
s/_ _/__/g
# floats are sometimes broken
@@
-55,6
+61,21
@@
BEGIN {
last=$0
side=0
}
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)
/^\(newpage\)/ {
n=split(last,a)
if(side)
@@
-62,7
+83,10
@@
BEGIN {
else
p=a[n]
side=!side
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
getline
getline
last=$0
@@
-70,6
+94,6
@@
BEGIN {
}
{
print last
}
{
print last
- last=$0
-}
-'
+ last=
nl
$0
+ nl=""
+
}
'