diff options
Diffstat (limited to 'doc/index.html')
| -rw-r--r-- | doc/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/index.html b/doc/index.html index 55881c6..6747818 100644 --- a/doc/index.html +++ b/doc/index.html @@ -1018,6 +1018,7 @@ https://...</pre> <table class="translation"> <tr><td><code>bash</code></td> <td>→</td><td><code>$(SHELL)</code></td></tr> <tr><td><code>install</code></td> <td>→</td><td><code>$(INSTALL)</code></td></tr> + <tr><td><code>libtool</code></td> <td>→</td><td><code>$(LIBTOOL)</code></td></tr> <tr><td><code>libtoolize</code></td><td>→</td><td><code>$(LIBTOOLIZE)</code></td></tr> <tr><td><code>make</code></td> <td>→</td><td><code>$(MAKE)</code></td></tr> <tr><td><code>patch</code></td> <td>→</td><td><code>$(PATCH)</code></td></tr> |