diff options
| author | Mattias Andrée <maandree@member.fsf.org> | 2015-12-11 18:17:01 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@member.fsf.org> | 2015-12-11 18:17:04 +0100 |
| commit | 4460b8da47735fee9c14e6628d8ddae43a1f9506 (patch) | |
| tree | 2fe811bfbf8371ea1629667df93ba2f30cc67cf4 | |
| parent | fix uninitialised variables (diff) | |
| download | scrotty-4460b8da47735fee9c14e6628d8ddae43a1f9506.tar.gz scrotty-4460b8da47735fee9c14e6628d8ddae43a1f9506.tar.bz2 scrotty-4460b8da47735fee9c14e6628d8ddae43a1f9506.tar.xz | |
texinfo>=4.11 is (optionally) required
Signed-off-by: Mattias Andrée <maandree@member.fsf.org>
| -rw-r--r-- | DEPENDENCIES | 4 | ||||
| -rw-r--r-- | doc/info/reusable/paper.texinfo | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/DEPENDENCIES b/DEPENDENCIES index a70a33b..491cdf4 100644 --- a/DEPENDENCIES +++ b/DEPENDENCIES @@ -14,10 +14,12 @@ BUILD DEPENDENCIES: pkg-config c99 gettext (opt-out, for internationalisation) - texinfo (opt-out, for info, pdf, dvi, ps, and html manuals) + texinfo>=4.11 (opt-out, for info, pdf, dvi, ps, and html manuals) texlive-plainextra (opt-in, for pdf, dvi, and ps manuals) auto-auto-complete (opt-in, for bash, fish, and zsh tab-completion) + texinfo<4.11 can be used if '@frenchspacing on' is removed. + INSTALL DEPENDENCIES: diff --git a/doc/info/reusable/paper.texinfo b/doc/info/reusable/paper.texinfo index 1fc9f0f..5a6aca8 100644 --- a/doc/info/reusable/paper.texinfo +++ b/doc/info/reusable/paper.texinfo @@ -75,7 +75,9 @@ @fonttextsize 10 @end ifset @ifclear SMALLFONT +@iftex @c Because of bug in Texinfo<=4.13 @fonttextsize 11 +@end iftex @end ifclear @c In America it is customary to have two spaces after |