7 @documentencoding UTF-8
13 `sed -n '5,$p' < doc/news.texi`
17 makeinfo --plaintext -o NEWS $texi
21 @documentencoding UTF-8
27 `sed -n '3,$p' < doc/news.ru.texi | sed 's/^@subsection/@section/'`
31 makeinfo --plaintext -o NEWS.RU $texi
35 texi=$(TMPDIR=doc mktemp)
38 @documentencoding UTF-8
45 makeinfo --plaintext -o INSTALL $texi
52 @documentencoding UTF-8
59 makeinfo --plaintext -o THANKS $texi