Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 50028 - /usr/lib/ocaml/ocamldoc should be added to LaTeX input path
Summary: /usr/lib/ocaml/ocamldoc should be added to LaTeX input path
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Text-Markup Team (OBSOLETE)
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2004-05-04 14:55 UTC by Joseph Turian
Modified: 2004-08-08 02:06 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Joseph Turian 2004-05-04 14:55:16 UTC 
/usr/lib/ocaml/ocamldoc, part of the dev-ml/ocaml package, contains a LaTeX stylefile ocamldoc.sty

However, /usr/lib/ocaml/ocamldoc is not part of the default LaTeX input path (which, for example, can be changed by adding the directory to the TEXINPUT environment variable). So, ocamldoc TeX output, which includes \usepackage{ocamldoc}, cannot be LaTeX'ed under the current ebuild.

Could ocaml, during post-installation, set up the LaTeX input path to include /usr/lib/ocaml/ocamldoc? (only when USE flag latex is enabled, natch)

Reproducible: Always
Steps to Reproduce:



Expected Results:  
LaTeX compiling ocamldoc tex output, without complaining the ocamldoc.sty is not
found.
Comment 1 Joseph Turian 2004-05-04 14:56:30 UTC 
I should point out that I'm using dev-lang/ocaml-3.06-r1 and app-text/tetex-2.0.2-r3
Comment 2 Mamoru KOMACHI (RETIRED) gentoo-dev 2004-06-05 12:30:53 UTC 
mattam: what do you think about it?
Comment 3 Matthieu Sozeau (RETIRED) gentoo-dev 2004-06-05 13:04:04 UTC 
That's right, i have it in my personnal .profile so i didn't saw that. I'll fix it when in the next hours.
Comment 4 Matthieu Sozeau (RETIRED) gentoo-dev 2004-08-08 02:06:19 UTC 
It's now corrected in CVS.