diff options
| author | Erik Martin-Dorel | 2020-05-06 21:20:28 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-05-06 21:37:17 +0200 |
| commit | c3304c49c9d3c1c304e64e34b85ee032b28f3cbe (patch) | |
| tree | 7677ecfde716f179299d0e8e8475055ac234c868 /ci | |
| parent | 9bd6175a864dbaebce49c49416651b6532a9f7ee (diff) | |
test: Add CI step to build the doc
* Only build the info manual.
* Otherwise we would get the following issue:
$ texi2pdf PG-adapting.texi
You don't have a working TeX binary (tex) installed anywhere in
your PATH, and texi2dvi cannot proceed without one. If you want to use
this script, you'll need to install TeX (if you don't have it) or change
your PATH or TEX environment variable (if you do). See the --help
output for more details.
For information about obtaining TeX, please see http://tug.org/texlive,
Makefile.doc:50: recipe for target 'PG-adapting.pdf' failed
or do a web search for TeX and your operating system or distro.
On Debian you can install a working TeX system with
apt-get install texlive
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions