From b76165f462e6165b61c78b3ae44f132bac7b6713 Mon Sep 17 00:00:00 2001 From: Giulio De Stasio Date: Tue, 29 Nov 2022 16:27:49 +0100 Subject: [PATCH 1/3] texlive.md: texinfo pdf compilation with texi2pdf --- src/config/texlive.md | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/src/config/texlive.md b/src/config/texlive.md index 0088e1a77..fb86c7f5a 100644 --- a/src/config/texlive.md +++ b/src/config/texlive.md @@ -96,3 +96,22 @@ To update installed packages: For a full description, check: + +### Texinfo PDF compilation with texi2pdf + +Texinfo is the documentation system used by GNU and other projects. The source +can be compiled into .info files (with `makeinfo`) and be used with the software +`info` or they can be exported to PDF, HTML and other formats with `texi2pdf` +and `texi2html`. + +Texinfo sources start including a .tex file with `\input texinfo` that implement +the macros used throughout the document. The file texinfo.tex is required to +export the document and it needs to be installed with tlmgr: + +``` +# tlmgr install texinfo +``` + +For more informations, check: + + From 9a990f1af5d686808fcfd34932c81df29f9500b0 Mon Sep 17 00:00:00 2001 From: Giulio De Stasio Date: Thu, 1 Dec 2022 13:53:09 +0100 Subject: [PATCH 2/3] texlive.md: grammar and form corrections --- src/config/texlive.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/config/texlive.md b/src/config/texlive.md index fb86c7f5a..054aea86b 100644 --- a/src/config/texlive.md +++ b/src/config/texlive.md @@ -99,12 +99,12 @@ For a full description, check: ### Texinfo PDF compilation with texi2pdf -Texinfo is the documentation system used by GNU and other projects. The source +Texinfo is the documentation system used by GNU and other projects. The sources can be compiled into .info files (with `makeinfo`) and be used with the software `info` or they can be exported to PDF, HTML and other formats with `texi2pdf` and `texi2html`. -Texinfo sources start including a .tex file with `\input texinfo` that implement +On the first line texinfo sources include a .tex file with the command `\input texinfo`, it implements the macros used throughout the document. The file texinfo.tex is required to export the document and it needs to be installed with tlmgr: From 3572aa89d1bfd55b96c93406b7b851b528d19cbe Mon Sep 17 00:00:00 2001 From: Giulio De Stasio Date: Fri, 16 Dec 2022 10:15:32 +0100 Subject: [PATCH 3/3] formatted as indicated by format.sh --- src/config/texlive.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/config/texlive.md b/src/config/texlive.md index 054aea86b..c9726802e 100644 --- a/src/config/texlive.md +++ b/src/config/texlive.md @@ -104,9 +104,10 @@ can be compiled into .info files (with `makeinfo`) and be used with the software `info` or they can be exported to PDF, HTML and other formats with `texi2pdf` and `texi2html`. -On the first line texinfo sources include a .tex file with the command `\input texinfo`, it implements -the macros used throughout the document. The file texinfo.tex is required to -export the document and it needs to be installed with tlmgr: +On the first line texinfo sources include a .tex file with the command `\input +texinfo`, it implements the macros used throughout the document. The file +texinfo.tex is required to export the document and it needs to be installed with +tlmgr: ``` # tlmgr install texinfo