diff options
Diffstat (limited to 'index.ist')
-rw-r--r-- | index.ist | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/index.ist b/index.ist new file mode 100644 index 0000000..ae5866d --- /dev/null +++ b/index.ist @@ -0,0 +1,7 @@ +headings_flag 1 +heading_prefix "\n{\\centering\\textbf{" +heading_suffix "}\\par\\nopagebreak\n}" +symhead_positive "Symbole" +delim_0 " \\dotfill " +delim_1 " \\dotfill " +delim_2 " \\dotfill " |