diff options
Diffstat (limited to 'Master/texmf-doc/doc/russian/mpman-ru/idx3.awk')
-rw-r--r-- | Master/texmf-doc/doc/russian/mpman-ru/idx3.awk | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Master/texmf-doc/doc/russian/mpman-ru/idx3.awk b/Master/texmf-doc/doc/russian/mpman-ru/idx3.awk deleted file mode 100644 index 5a911c2087f..00000000000 --- a/Master/texmf-doc/doc/russian/mpman-ru/idx3.awk +++ /dev/null @@ -1,16 +0,0 @@ -BEGIN { - print "\\begin{theindex}" - l=65 -} -{ - if (0+substr($0,1,3)>=l && pl!=l && index($0,"\\subitem")==0) { - print "\\indexspace" - l=0+substr($0,1,3) - pl=l++ - if (l==91) l=161 - } - print substr($0,index($0,"@@@")+4) -} -END { - print "\\end{theindex}" -} |