diff options
Diffstat (limited to 'info/metapost/doc/russian/mpman-ru/extract-bm.awk')
-rw-r--r-- | info/metapost/doc/russian/mpman-ru/extract-bm.awk | 23 |
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 |