>
> Possibly, the following code in /etc/postinstall/man.sh
> should be changed:
>
> if [ ! -e ${datadir}/misc/man.conf ] ; then
> cp ${datadir}/misc/man.conf.default ${datadir}/misc/man.conf
> chmod 644 ${datadir}/misc/man.conf
> fi
>
> to:
>
> if [ ! -e ${datadir}/misc/man.conf ] ; then
> chmod 644 ${datadir}/misc/man.conf
> cp ${datadir}/misc/man.conf.default ${datadir}/misc/man.conf
> fi
>
Actually, this suggestion does not help because of
the 'if [ ! -e ${datadir}/misc/man.conf ]' guard.
My "old" man.conf was obsolete (had errors), but it
was the default at the time (I have never changed it).
Other users may run into this problem and need to apply
the suggested fix (i.e., overwrite /usr/share/misc/man.conf
with /usr/share/misc/man.conf.default, after adding write
permission to /usr/share/misc/man.conf).
---
--
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/
