diff options
| -rw-r--r-- | doc/Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 68c2f6a..9909122 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,3 +1,9 @@ +# Make sure that $BOOTSTRAP_SCITECO and the SciTECO-based +# substitutor is available. +# The target `sciteco` binary has already been built, +# but using $BOOTSTRAP_SCITECO ensures that we use +# a version running on the host machine when cross-compiling +# with --disable-bootstrap. include $(top_srcdir)/bootstrap.am man_MANS = sciteco.1 |