Dear Daniel,
Thanks you for reporting the problem.
In fact, the MacOS package has not been properly generated and does not install properly the info files.
If you want to use the version 1.14.2, you will have to run the following command in you terminal:
sudo install-info --info-dir=/usr/local/share/info /usr/local/share \ /info/ciao-1.14.2.info
Nonetheless, we invite you to use the latest development version (revision >= 14703) which will perform the installation properly. It is available on the Ciao website:
http://www.ciaohome.org/download_latest.html.
Note we will soon release a new stable version (Ciao 1.16.0) which will include all changes from the current development version.
Documentation should work in both Emacs 24 or Aquamacs, once the following lines as been added to the .emacs:
(if (file-exists-p "/usr/local/lib/ciao/ciao-mode-init.el") (load-file "/usr/local/lib/ciao/ciao-mode-init.el") )
Best regards,
Remy
5/15/12 5:09 AM, Daniel Gregoire:
- Mac OSX Lion
- Ciao 1.14.2
- Emacs 24
I've installed Ciao using the Mac OSX installer. I've configured my shell to load the CIAOLIBDIR/DOTprofile file upon login per the Ciao docs, and can verify that it gets loaded. I start Emacs, open a "foo.pl http://foo.pl" file, and successfully get the Ciao mode.
However, when I use the menu to go to the "Ciao system manual", it claims "Could not find ciao: manual in info dir". In addition to having the INFOPATH variable set, I also manually add the "/usr/local/share/info" directory to 'Info-directory-list in Emacs. Since there's only a file "ciao-1.14.2.info http://ciao-1.14.2.info" in that folder, I've also made a symlink to just "ciao.info http://ciao.info" in the same folder to see if that would work. None of the above has worked.
What can I do to get Emacs to incorporate the Ciao info file? I've followed these instructions <http://ciaohome.org/docs/branches/1.14/13646/CiaoDE-1.14.2-13646_ciao.html/C... of the Ciao emacs interface> to get my Emacs env setup, but I'm obviously missing something.
Thanks in advance, Daniel
Ciao-users mailing list Ciao-users(a)clip.dia.fi.upm.es http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users