>>>>> Igor Pechtchanski writes:
> This won't fix the _ps and _pdf cases. I still think that fixing texdoc
> itself is the right way (as the user's environment sometimes gets
> truncated), however, you're the maintainer. If you decide to set them in
> /etc/profile.d/tetex.sh, please also set TEXDOCVIEW_ps and TEXDOCVIEW_pdf
> to the same value.
The current version seems to have the following entries:
: ${TEXDOCVIEW_dvi='xdvi %s &'}
: ${TEXDOCVIEW_pdf='acroread %s &'}
: ${TEXDOCVIEW_ps='ghostview %s &'}
: ${TEXDOCVIEW_html='netscape -remote openURL'"'(%s)'"' 2>/dev/null || netscape
%s &'}
: ${TEXDOCVIEW_txt="${PAGER-more} %s"}
: ${TEXDOCVIEW_="${PAGER-more} %s"} # no extension, default to pager
I would at least patch it for cygwin to read:
: ${TEXDOCVIEW_dvi='xdvi %s &'}
: ${TEXDOCVIEW_pdf='xpdf %s &'}
: ${TEXDOCVIEW_ps='gv %s &'}
: ${TEXDOCVIEW_html='netscape -remote openURL'"'(%s)'"' 2>/dev/null || netscape
%s &'}
: ${TEXDOCVIEW_txt="${PAGER-more} %s"}
: ${TEXDOCVIEW_="${PAGER-more} %s"} # no extension, default to pager
We already have xpdf and gv in the distro. Maybe netscape/mozilla gets
ported one day.
Ciao
Volker
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Problem reports: http://cygwin.com/problems.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/
