diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-02-19 13:02:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-19 13:02:35 +0100 |
| commit | 2ba67da0532c5cf3cd4797c40f0031b7cc88cc15 (patch) | |
| tree | 2581aaa0ee78cd6f308203ac43e4662a5b2aee22 /doc/manual | |
| parent | 2a14c28669482b517204ab46645f340629af1e6d (diff) | |
| parent | 46992e71a1c596cb9b25a615738fb0b18e63c227 (diff) | |
Merge pull request #3332 from Calvin-L/patch-1
Document that autoconf is a dependency
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/installation/prerequisites-source.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/manual/installation/prerequisites-source.xml b/doc/manual/installation/prerequisites-source.xml index e7bdcf966..fa6da9b1e 100644 --- a/doc/manual/installation/prerequisites-source.xml +++ b/doc/manual/installation/prerequisites-source.xml @@ -8,6 +8,14 @@ <itemizedlist> + <listitem><para>GNU Autoconf + (<link xlink:href="https://www.gnu.org/software/autoconf/"/>) + and the autoconf-archive macro collection + (<link xlink:href="https://www.gnu.org/software/autoconf-archive/"/>). + These are only needed to run the bootstrap script, and are not necessary + if your source distribution came with a pre-built + <literal>./configure</literal> script.</para></listitem> + <listitem><para>GNU Make.</para></listitem> <listitem><para>Bash Shell. The <literal>./configure</literal> script |