diff options
Diffstat (limited to 'info/metapost/doc/russian/mpman-ru/idx1.awk')
-rw-r--r-- | info/metapost/doc/russian/mpman-ru/idx1.awk | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/info/metapost/doc/russian/mpman-ru/idx1.awk b/info/metapost/doc/russian/mpman-ru/idx1.awk new file mode 100644 index 0000000000..2cea7ac68f --- /dev/null +++ b/info/metapost/doc/russian/mpman-ru/idx1.awk @@ -0,0 +1,16 @@ +{ + p=1 +} +/\\indexspace|\\begin\{theindex|\\end\{theindex/ { + p=0 +} +/\\item|\\subitem/ { + p=0 + printf "\n%s", $0 +} +{ + if (p) printf "%s", $0 +} +END { + printf "\n" +} |