> ?

Yes it is as I wrote. But for xdvi you can directly report to the xdvi bug 
tracker which is better.


-------------------------------------------------------------------------------
Dr. Norbert Preining <[email protected]>   Vienna University of Technology
Debian Developer <[email protected]>                         Debian TeX 
Group
gpg DSA: 0x09C5B094      fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 
B094
-------------------------------------------------------------------------------

-- 
typos in man page of "xdvi"
https://bugs.launchpad.net/bugs/202435
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

-- 
universe-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/universe-bugs

Reply via email to