mailing-list for TeXmacs Users

["chu-ching huang" <address@hidden>]

On Tue, 6 Feb 2007 11:46:28 +0100, Joris van der Hoeven wrote
> On Tue, Feb 06, 2007 at 01:13:28AM +0100, address@hidden wrote:
> > i installed Dr geo (1.1.0 debian version) and hoped to find the plug-in
> > in my texmacs version (1.1.0.6) as it used to be. But i can't find Dr
> > Geo. Does anyone has a solution for this problem ?
> 
> I don't know; please ask the Dr. Geo people,
> because they entirely maintain the TeXmacs plug-in.

After installing Dr. Geo, "tm_drgeo" will be put in "/usr/local/bin" where
/usr/local/ might be different according to your setting and "plugins/drgeo"
will be found in /usr/local/share/texmacs/TeXmacs/plugins/drgeo.

Therefore, you have to make the file/directory link to the exact place that
TeXmacs installed, for instance:

shell> ln -s /usr/local/bin/tm_geo /usr/local/libexec/Texmacs/bin/
shell> ln -s /usr/local/share/texmacs/TeXmacs/drgeo
/usr/local/share/Texmacs/plugins/

Then done.

Best regards,

chu-ching