From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nicolas Goaziou Subject: [RFC] Moving "manual.org" into core Date: Sat, 20 Jan 2018 15:43:54 +0100 Message-ID: <87bmhooaj9.fsf@nicolasgoaziou.fr> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:43106) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ecuND-0006vm-Hd for emacs-orgmode@gnu.org; Sat, 20 Jan 2018 09:44:00 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ecuNC-0001JR-PE for emacs-orgmode@gnu.org; Sat, 20 Jan 2018 09:43:59 -0500 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: "Emacs-orgmode" To: Org Mode List Cc: Bastien Guerry , Achim Gratz Hello, "manual.org" was updated a month ago, and, so far, nobody complained about it. So, I think it's a good time to discuss about what could be done next. The first obvious step is to move the file into "doc/" directory. Then I assume we could delete "org.texi" and "org.info" there and generate new ones from the Org file. For example, the following command, called from the "manual.org" file, (let ((org-texinfo-logfiles-extensions (cons "texi" org-texinfo-logfiles-extensions))) (org-texinfo-export-to-info)) produces an "org.info" file without an "org.texi". It thus prevents direct editing of "org.texi". I assume this could be called by "make info" target. So basically, the idea would be to not provide anymore an "org.texi" file. Only "manual.org" and "org.info". Emacs developers already apply fixes to ORG-NEWS, which is a plain Org file, so I guess it would not make their life harder if "manual.org" replaces "org.texi". WDYT? Regards, -- Nicolas Goaziou 0x80A93738