diff options
author | Ben Hutchings <ben@decadent.org.uk> | 2016-10-29 04:04:27 +0100 |
---|---|---|
committer | Ben Hutchings <ben@decadent.org.uk> | 2016-11-01 09:39:36 -0600 |
commit | c391b26e8fed6c9474193dac0da707df513f7a97 (patch) | |
tree | 54b00a88c24cb766ac5ce218bddb9c16e36758e1 | |
parent | 4ac6860c3b2ddb62d13b143a196161f85aa36a0e (diff) |
debian/rules.real: Update install-doc rule for change to Sphinx HTML output
I can't see when or why this changed, but the HTML (and related) files
are now being generated in Documentation/output and not an html
subdirectory of that.
-rw-r--r-- | debian/rules.real | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/debian/rules.real b/debian/rules.real index 418d7db0e..31d625008 100644 --- a/debian/rules.real +++ b/debian/rules.real @@ -240,8 +240,9 @@ install-doc: $(STAMPS_DIR)/build-doc find * -name '*.html' -print | \ cpio -pd --preserve-modification-time '$(CURDIR)/$(OUT_DIR)/html/oldstyle' set -o pipefail; \ - cd $(DIR)/Documentation/output/html; \ - find * -name objects.inv -prune -o -print | \ + cd $(DIR)/Documentation/output; \ + find * -name '*.rst' -prune -o -name objects.inv -prune \ + -o -name xml -prune -o -print | \ cpio -pd --preserve-modification-time '$(CURDIR)/$(OUT_DIR)/html/newstyle' gzip -9nqfr $(OUT_DIR)/Documentation +$(MAKE_SELF) install-base |