7. Utilities

7.1. Mkinheader

Mkinheader makes header/index file for in3. It parses all the .in files and creates, depending on the flags, an index or header.
--help
This help
-h --header
create an includable header
-i --index
create an index-file
-t
Don't include the total
-v
increase verbosity

An index file is a .in-format file; the header is an HTML-part file, which can be included in a real HTML file.

There are two files that can be used to modify the resulting index-file:

  • index.top: this file is placed before the generated output
  • index.bottom: this file is placed below the generated output

Both files are copied literally to the output.

7.2. Mk_cover

If a file coverimage.png exists, mk_cover will create a standardized cover page. The cover page is placed in cover.png.