Hi Achim and Takaaki, Takaaki ISHIKAWA <tak...@ieee.org> writes:
> I think "make" and "make all" have the same effect usually. > In the new Makefile of org-mode, however, "make" is used > for displaying options of make command. > Is this familiar to all? > > For example, GNU Emacs doesn't require "make all", just "make". If we can stick to "make" let's stick to it. If it breaks GNU coding conventions, let's use "make all" instead, and send a bug report to emacs-devel... Thanks, -- Bastien