ext-reps-index

[Peter Dobcsanyi]

I implemented all features regarding the discussed ext-rep file naming
and generating index files in our ext-rep collection. I also renamed the
index generator program to "ext-reps-index". If you invoke it without
parameters it prints its usage:

    Index maker for collection of ext-rep files.

    Usage:
            ext-reps-index  [options]  subdir1 [ subdir2 ... ]

    The programs create an "index.html" HTML file in each directory.
    "index.html" presents the ext-rep files in the directory in a table
    format listing some of their properties and including a link to each of
    them.  The names of the ext-rep files are expected to have this format:

        parameter_section[.content_indicators].txt[.compression_type]

    The "parameter_section", a kind of list invariants for the designs in
    the files, must have the format:

        xxxnnn-yyymmm-...

    where xxx, yyy,...  are non-empty strings of letters called invariant
    codes and nnn, mmm,... are (possibly empty) strings of digits indicating
    the value of the related invariant parameter.

    The program first looks for a file called ".template" in the directory.
    The template file must contain one line which lists and also fixes the
    order of the valid invariant codes. Each file's "parameter_section" is
    checked against this template and not complying files are left out from
    the table.

    The Title of the index page will be the name of the directory. If the
    directory contains a file called "Readme.html" the contents of it will
    be included between the title and the generated table. "Readme.html"
    should be an HTML file but not a complete HTML document, so it can be
    included without breaking the overall structure of "index.html"

    Options:

        -V  Print version and licencing information.

--             ,
    Peter Dobcsanyi