From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nicolas Goaziou Subject: Re: [RFC] Dog food, anyone? Date: Wed, 09 May 2018 02:30:20 +0200 Message-ID: <87efilvffn.fsf@nicolasgoaziou.fr> References: <87efntod73.fsf@nicolasgoaziou.fr> <87y3h9pmng.fsf@bzg.fr> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:33531) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fGD04-0000DB-AT for emacs-orgmode@gnu.org; Tue, 08 May 2018 20:30:33 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fGD03-0001ss-KJ for emacs-orgmode@gnu.org; Tue, 08 May 2018 20:30:32 -0400 In-Reply-To: <87y3h9pmng.fsf@bzg.fr> (Bastien's message of "Fri, 27 Apr 2018 01:34:43 +0200") 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: Bastien Cc: Org Mode List Hello, Bastien writes: > 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. Done. > 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? Done (or so I think). Regards, -- Nicolas Goaziou 0x80A93738