diff options
author | Tim Harder <radhermit@gmail.com> | 2016-01-24 13:23:26 -0500 |
---|---|---|
committer | Tim Harder <radhermit@gmail.com> | 2016-01-24 13:27:40 -0500 |
commit | 880d3bca90bf3141c42f0de15980108381b8438a (patch) | |
tree | 5b25c655110a9056e4248c77b62d4967ca50ea82 /doc | |
parent | pkgdist: skip man page regeneration if an output dir exists (diff) | |
download | pkgcore-880d3bca90bf3141c42f0de15980108381b8438a.tar.gz pkgcore-880d3bca90bf3141c42f0de15980108381b8438a.tar.bz2 pkgcore-880d3bca90bf3141c42f0de15980108381b8438a.zip |
setup: add explicit build_docs command to build html docs
Diffstat (limited to 'doc')
-rw-r--r-- | doc/conf.py | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/conf.py b/doc/conf.py index eb23733b..c2b211a2 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -110,11 +110,6 @@ if on_rtd: generate_man(project, project_dir) generate_html(project) -# handle auto-generation for setup.py -if 'build_docs' in sys.argv[1:]: - generate_man(project, project_dir) - generate_html(project) - # -- Options for HTML output --------------------------------------------------- # The theme to use for HTML and HTML Help pages. See the documentation for |