On 7 Jan, XRD Lab wrote: > > How do I update the database ... man -u
(mandb should anyway run weekly at 6 am), but your problem 1) is related to your solution to 2). > > 2. I recently installed MuPAD. To access its manuals, I added the > following line to /etc/profile > > MANPATH=$MANPATH:/usr/local/MuPAD/share/man > > But this somehow removes the usual man directories from the search path. > How do I add new directories to the MANPATH without trashing the earlier > ones in my own .bash_profile? > In /etc/manpath.config just add the row: MANDATORY_MANPATH /usr/local/MuPAD/share/man and remove what you added in /etc/profile. This should solve also problem 1) Fabrizio -- | [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] | Pluto Leader - Debian Developer & Happy Debian 1.3.1 User - vi-holic | 6F7267F5 fingerprint 57 16 C4 ED C9 86 40 7B 1A 69 A1 66 EC FB D2 5E > more than 35 months are needed to get rid of the millennium. [me] -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to [EMAIL PROTECTED] . Trouble? e-mail to [EMAIL PROTECTED] .