[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

ed.texi to PDF

From: Matt Wette
Subject: ed.texi to PDF
Date: Fri, 27 Nov 2020 12:08:53 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0

I ran texi2any --pdf ed.texi and it failed.
This is on ed-1.16.
The following makes it work.

e$ diff -u ed.texi ed.texi-new
--- ed.texi    2020-02-20 04:57:27.000000000 -0800
+++ ed.texi-new    2020-11-27 12:04:35.539542583 -0800
@@ -45,6 +45,7 @@
 This manual is for GNU ed (version @value{VERSION}, @value{UPDATED}).
 @end ifnottex

 * Overview::                        Overview of the @command{ed} command
 * Introduction to line editing::    Getting started with GNU @command{ed}
@@ -57,6 +58,7 @@
 * Problems::                        Reporting bugs
 * GNU Free Documentation License::  How you can copy and share this manual
 @end menu
+@end ifnottex

 @sp 1

reply via email to

[Prev in Thread] Current Thread [Next in Thread]