From mboxrd@z Thu Jan 1 00:00:00 1970 From: Bastien Subject: Re: [RFC] Dog food, anyone? Date: Fri, 27 Apr 2018 01:34:43 +0200 Message-ID: <87y3h9pmng.fsf@bzg.fr> References: <87efntod73.fsf@nicolasgoaziou.fr> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:41384) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fBqPW-00082k-Fg for emacs-orgmode@gnu.org; Thu, 26 Apr 2018 19:34:50 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fBqPU-0001MX-R8 for emacs-orgmode@gnu.org; Thu, 26 Apr 2018 19:34:46 -0400 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: Nicolas Goaziou Cc: Org Mode List Hi Nicolas, it would be nice to make the switch to org-manual.org for Org 9.2, and to delete org.texi entirely from the master branch. I guess we need to add some Makefile rules so that "make pdf" first exports .org => .texi then exports .texi to .pdf... is that so? I'd rather make the switch now so that users and contributors are not confused by the presence of two manuals in the repo. Thanks, -- Bastien