- Which file should be altered:
a. /local/lib/ciao/ciao.el (I have installed ciao into /local)
or the source file
b. ....emacs-mode/ciao.el.body
b. ciao.el is built from ciao.el.body during installation.
If b. do you then do another make and make install?
yes!
- What are the .elc files. (Are they compiled from the corresponding
.el files?)
Yep, the (byte-)compiled versions of the .el files.
Btw, you may want to try the 1.13 distribution, which is already on
the web site. We are interested in any feedback.
Cheers --Manuel H
--
----------------------- The Ciao System Development Team --------------------
The CLIP Group | Technical University of Madrid
ciao(a)clip.dia.fi.upm.es | University of New Mexico
http://www.cliplab.org /
http://www.ciaohome.org
-----------------------------------------------------------------------------
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages:
http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------