cl.texi is also in the man directory. I believe that the man
directory is not just for the Emacs manual but for all manuals that
are not so large as to merit their own directory (whose only example
is the Elisp manual).
That is indeed the case, as of now. However, I think it would be a good
idea to have the Emacs Manual in a separate directory, and put all the
other miscellaneous manuals in a different directory.
Perhaps the Emacs Manual would stay in `man' and the others would
go in `man-x'.
_______________________________________________
Emacs-pretest-bug mailing list
Emacs-pretest-bug@gnu.org
http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
