Description Usage Arguments Value
Make manual from .texi
file using makeinfo
1 |
manual |
Name of manual, e.g. |
input_dir |
Input directory |
output_dir |
Destination directory |
verbose |
If TRUE, prints progress messages |
Runs makeinfo and generates html files
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.