X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2FSConscript;h=bbb4ddee54b1393f9d0d8539e00b30aa97141296;hb=6f50bf49e282c0528f51faa0a245bbfa2b867399;hp=3712380b6ffde80cbc6162892b78872cacbe3861;hpb=77a726fdfa20680c691ba528fdad979422ef829c;p=senf.git
diff --git a/doclib/SConscript b/doclib/SConscript
index 3712380..bbb4dde 100644
--- a/doclib/SConscript
+++ b/doclib/SConscript
@@ -77,6 +77,7 @@ writeTemplate = env.Action(writeTemplate, varlist = [ 'TEMPLATE' ])
EXTRA_MODULES = [
('Overview', '#/doc/html'),
('Examples', '#/Examples/doc/html'),
+ ('HowTos', '#/HowTos/doc/html'),
('SENFSCons', '#/senfscons/doc/html') ]
HEADER = """
@@ -87,7 +88,7 @@ HEADER = """
@@ -106,8 +107,10 @@ div.tabs ul li.$projectname a { background-color: #EDE497; }
@@ -122,11 +125,10 @@ div.tabs ul li.$projectname a { background-color: #EDE497; }
{{ for name, path, level in modules():
${name}
}}
+
Glossary
"""
-OVERVIEW_EXTRA_HEADER=""
-
FOOTER = """
@@ -155,9 +157,6 @@ function paths() {
env.Command('doxy-header.html', 'SConscript', writeTemplate,
TEMPLATE = Literal(HEADER),
TITLE = "Documentation and API reference")
-env.Command('doxy-header-overview.html', 'SConscript', writeTemplate,
- TEMPLATE = Literal(HEADER+OVERVIEW_EXTRA_HEADER),
- TITLE = "Introduction and Overview")
env.Command('doxy-footer.html', 'SConscript', writeTemplate,
TEMPLATE = Literal(FOOTER))
env.Alias('all_docs',
@@ -171,10 +170,20 @@ env.Alias('all_docs',
+ "> ${TARGETS[0]}.tmp",
'mv ${TARGET}.tmp ${TARGET}' ],
TEMPLATE = Literal(HEADER
- + OVERVIEW_EXTRA_HEADER
+ SEARCH_PHP.replace('','[[').replace('?>',']]')
+ FOOTER),
TITLE = "Search results"))
env.Alias('all_docs',
env.Command('search_paths.php', 'SConscript', writeTemplate,
TEMPLATE = Literal(SEARCH_PATHS_PHP)))
+
+env.Alias('install_all',
+ env.Install( '$DOCINSTALLDIR/doclib', [ 'favicon.ico',
+ 'logo-head.png',
+ 'search.php',
+ 'search_functions.php',
+ 'search_paths.php',
+ 'senf.css' ] ))
+
+env.Clean('all', 'doxy-header.html') # I should not need this but I do ...
+env.Clean('all_docs', 'doxy-header.html') # I should not need this but I do ...