summaryrefslogtreecommitdiff
path: root/info/metapost/doc/russian/mpman-ru/extract-bm.awk
diff options
context:
space:
mode:
Diffstat (limited to 'info/metapost/doc/russian/mpman-ru/extract-bm.awk')
-rw-r--r--info/metapost/doc/russian/mpman-ru/extract-bm.awk23
1 files changed, 23 insertions, 0 deletions
diff --git a/info/metapost/doc/russian/mpman-ru/extract-bm.awk b/info/metapost/doc/russian/mpman-ru/extract-bm.awk
new file mode 100644
index 0000000000..6518c72b9c
--- /dev/null
+++ b/info/metapost/doc/russian/mpman-ru/extract-bm.awk
@@ -0,0 +1,23 @@
+{
+ p=index($0,"{")
+}
+
+/^[^%]section\{/ {
+ noss=0
+ nos++
+ sub("\\\\MF","Metafont",$0)
+ s=substr($0,p+1,index($0,"}")-p-1)
+ printf "\\BOOKMARK [1][-]{section."
+ if (nos < 16)
+ print nos "}{" s "}{}"
+ else
+ printf "%c%s\n", nos+49, "}{" s "}{}"
+}
+
+/^[^%]subsection\{/ {
+ noss++
+ gsub("\\\\texttt\{|\\\\-|\{\}","",$0)
+ gsub("\\\\","",$0)
+ s=substr($0,p,index($0,"}")-p)
+ print "\\BOOKMARK [2][-]{subsection." nos "." noss "}{" s "}{section." nos "}"
+} \ No newline at end of file