diff options
| -rw-r--r-- | docs/contents.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/contents.html b/docs/contents.html index 94b538da1af..bdafea8f980 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -41,6 +41,10 @@ <ul> <li><a href="download.html" target="_parent">Downloading / Unpacking</a> <li><a href="install.html" target="_parent">Compiling / Installing</a> + <ul> + <li><a href="autoconf.html" target="_parent">Autoconf</a></li> + </ul> +</li> <li><a href="precompiled.html" target="_parent">Precompiled Libraries</a> </ul> |