Package: cameleon Followup-For: Bug #482621 On IRC: < glondu> gildor_: may I suggest you to use the following command: ocamlobjinfo $(OCAMLLIB)/stdlib.cma | perl -ne 'print "$(OCAMLLIB)/", lcfirst($$1), ".mli " if /^ Unit name: (.*)/'?
Should be better to known what .mli file to parse for documentation. Regards Sylvain Le Gall -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.22.6-vs2.2.0.3-core2 (SMP w/2 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages cameleon depends on: ii libatk1.0-0 1.22.0-1 The ATK accessibility toolkit ii libc6 2.7-11 GNU C Library: Shared libraries ii libcairo2 1.6.4-2 The Cairo 2D vector graphics libra pn libcameleon-ocaml-dev <none> (no description available) ii libfontconfig1 2.5.0-2 generic font configuration library ii libglade2-0 1:2.6.2-1 library to load .glade files at ru ii libglib2.0-0 2.16.3-2 The GLib library of C routines ii libgtk2.0-0 2.12.9-4 The GTK+ graphical user interface ii libncurses5 5.6+20080503-1 Shared libraries for terminal hand ii libpango1.0-0 1.20.2-2 Layout and rendering of internatio ii libx11-6 2:1.0.3-7 X11 client-side library ii libxcursor1 1:1.1.9-1 X cursor management library ii libxext6 2:1.0.4-1 X11 miscellaneous extension librar ii libxfixes3 1:4.0.3-2 X11 miscellaneous 'fixes' extensio ii libxi6 2:1.1.3-1 X11 Input extension library ii libxinerama1 2:1.0.3-2 X11 Xinerama extension library ii libxml2 2.6.32.dfsg-2 GNOME XML library ii libxrandr2 2:1.2.2-2 X11 RandR extension library ii libxrender1 1:0.9.4-1 X Rendering Extension client libra pn ocaml-base-nox-3.09.2 <none> (no description available) pn ocaml-dbforge <none> (no description available) pn ocaml-report <none> (no description available) pn ocamlcvs <none> (no description available) ii zlib1g 1:1.2.3.3.dfsg-12 compression library - runtime cameleon recommends no packages. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
