diff options
Diffstat (limited to 'doc/c')
| -rw-r--r-- | doc/c/wscript | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/c/wscript b/doc/c/wscript index d88ee38..9ea3094 100644 --- a/doc/c/wscript +++ b/doc/c/wscript @@ -5,8 +5,6 @@ def build(bld): index_xml = bld.path.get_bld().make_node("xml/index.xml") files = [ - ("../_static/custom.css", "sphinx/_static/custom.css"), - ("../_templates/about.html", "sphinx/_templates/about.html"), ("../sratom.rst", "sphinx/sratom.rst"), ("index.rst", "sphinx/index.rst"), ("overview.rst", "sphinx/overview.rst"), @@ -37,5 +35,5 @@ def build(bld): bld(features="sphinx", sphinx_source=bld.path.get_bld().make_node("sphinx"), sphinx_output_format="singlehtml", - sphinx_options=["-E", "-q"], + sphinx_options=["-E", "-q", "-t", "singlehtml"], install_path=doc_dir + "c/singlehtml/") |