Bug#321257: NEWS.Debian: no such file or directory

[Sven Joachim <sven_joachim@web.de>]

found #321257 3.0-13
thanks

From /usr/share/doc/changelog.Debian.gz:

,----
| tetex-base (3.0-12) unstable; urgency=low
|
|  * [...]
|  * Document in NEWS.Debian that we cannot migrate user's changes from old
|     00updmap.cfg to 10tetex-base.cfg and 10tetex-extra.cfg (closes:
|     #321257) [frank]
`----

I cannot find NEWS.Debian or NEWS.Debian.gz in /usr/share/doc/tetex-base,
reopening this bug.

Cheers,
 Sven