2019-02-05 02:44:07 +02:00
|
|
|
# Some indoc instructions common to all of the targets in which Inform
|
|
|
|
# documentation is output in HTML format for use within the application
|
|
|
|
|
|
|
|
contents_expandable = yes
|
|
|
|
|
|
|
|
#examples_A_to_Z_leafname = examples.html
|
|
|
|
examples_numerical_leafname = allegs.html
|
|
|
|
examples_thematic_leafname = Rallegs.html
|
|
|
|
|
|
|
|
navigation = architect
|
|
|
|
html_for_Inform_application = yes
|
|
|
|
manifest_leafname = manifest.txt
|
|
|
|
images_path = doc_images/
|
|
|
|
images_copy = no
|
|
|
|
examples_mode = openable
|
|
|
|
|
|
|
|
css: td.midnightrighthalfpage + {
|
|
|
|
background-color: #ffffe5;
|
|
|
|
}
|
|
|
|
css: td.midnightlefthalfpage + {
|
|
|
|
background-color: #eeeeee;
|
|
|
|
}
|
|
|
|
|
|
|
|
link_to_extensions_index = inform://Extensions/Extensions.html
|
2019-03-16 15:12:11 +02:00
|
|
|
definitions_filename = inform7/Internal/Miscellany/definitions.html
|
2019-02-05 02:44:07 +02:00
|
|
|
|
|
|
|
declare: app
|