|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#14952: closed (Devel trunk doc/misc/Makefile.in missing a new build instruction) |
Date: | Thu, 25 Jul 2013 16:00:05 +0000 |
Your message dated Thu, 25 Jul 2013 11:59:36 -0400 with message-id <address@hidden> and subject line Re: bug#14952: Devel trunk doc/misc/Makefile.in missing a new build instruction has caused the debbugs.gnu.org bug report #14952, regarding Devel trunk doc/misc/Makefile.in missing a new build instruction to be marked as done. (If you believe you have received this mail in error, please contact address@hidden) -- 14952: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=14952 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: Devel trunk doc/misc/Makefile.in missing a new build instruction Date: Thu, 25 Jul 2013 05:34:57 -0400 User-agent: Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20130629 Thunderbird/17.0.7 Greetings,The development trunk's doc/misc/Makefile.ini needs to be updated with instructions to build the new ido.texi. I've attached a patch to do so.-- Edward TrumboMakefile.in.patch
Description: Text document
--- End Message ---
--- Begin Message ---Subject: Re: bug#14952: Devel trunk doc/misc/Makefile.in missing a new build instruction Date: Thu, 25 Jul 2013 11:59:36 -0400 User-agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) Thanks; this is fixed.
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |