Dear spot maintainers,

I am trying to compile spot v2.9.7 from source but my build errors due to latexmk not being available in the environment. From what I understand from the log, it is used in making the doc, is there a way to skip this step in the build?

I built it on ubuntu (gcc (Ubuntu 9.3.0-17ubuntu1~20.04) 9.3.0) and it did not complain about latexmk, this only happened when changing to a new platform (the end goal is to cross compile it).

Any help would be appreciated,
Maxime

I am using a linux platform with gcc:

x86_64-linux-gnu-g++ (GCC) 9.1.0

Here is what I run:

./configure --prefix=${prefix}/spot-build --build=${MACHTYPE} --host=${target} --disable-python 
make -j${nproc} && make install

Here is the partial log:

```

[15:46:03] Making all in doc
[15:46:03] make[2]: Entering directory '/workspace/srcdir/jlspot/spot-2.9.7/doc'
[15:46:03] Making all in tl
[15:46:03] make[3]: Entering directory '/workspace/srcdir/jlspot/spot-2.9.7/doc/tl'
[15:46:03] BIBINPUTS='./..' latexmk -pdf -ps- -dvi- -pvc- -e '$bibtex_use=2' -e '$pdflatex="pdflatex %O \"\\def\\SpotVersion{2.9.7}\\input{%S}\""' ./tl.tex
[15:46:03] /bin/sh: latexmk: not found
[15:46:03] make[3]: *** [Makefile:1399: tl.pdf] Error 127
[15:46:03] make[3]: Leaving directory '/workspace/srcdir/jlspot/spot-2.9.7/doc/tl'
[15:46:03] make[2]: *** [Makefile:1319: all-recursive] Error 1
[15:46:03] make[2]: Leaving directory '/workspace/srcdir/jlspot/spot-2.9.7/doc'
[15:46:03] make[1]: *** [Makefile:1341: all-recursive] Error 1
[15:46:03] make[1]: Leaving directory '/workspace/srcdir/jlspot/spot-2.9.7'

````