diff options
author | Jelmer Vernooij <jelmer@jelmer.uk> | 2015-12-07 23:45:54 +0000 |
---|---|---|
committer | Jelmer Vernooij <jelmer@jelmer.uk> | 2015-12-14 02:28:01 +0000 |
commit | e38afbf0bf819bb5b487a9404bcbf51e8ea82f8e (patch) | |
tree | 7c7a0c869491badb2bfb520ae6e4de47be5c3992 /debian/patches | |
parent | 5cbf0047df2e01e7389f83f0a2f21e2b797e4770 (diff) |
Depend on newer version of pydoctor that supports SOURCE_DATE_EPOCH, drop custom specification of --buildtime to pydoctor.
Diffstat (limited to 'debian/patches')
-rw-r--r-- | debian/patches/05_pydoctor_build_time.diff | 25 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 26 deletions
diff --git a/debian/patches/05_pydoctor_build_time.diff b/debian/patches/05_pydoctor_build_time.diff deleted file mode 100644 index 80310f5..0000000 --- a/debian/patches/05_pydoctor_build_time.diff +++ /dev/null @@ -1,25 +0,0 @@ -From 919605930e763122dd7dd792b9b86305b32239e8 Mon Sep 17 00:00:00 2001 -From: Jelmer Vernoij <jelmer@debian.org> -Date: Thu, 8 Oct 2015 09:28:28 -0700 -Subject: Allow passing in extra options to pydoctor - -Status: not forwarded upstream - -Patch-Name: 05_pydoctor_build_time.diff ---- - doc/Makefile | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/doc/Makefile b/doc/Makefile -index 73687f9..3684d0f 100644 ---- a/doc/Makefile -+++ b/doc/Makefile -@@ -46,7 +46,7 @@ howto: howto.tex - - api: - @echo Creating API documentation -- @cd .. && pydoctor --project-name="Kiwi" --add-package=kiwi --make-html -+ @cd .. && pydoctor $(PYDOCTOR_OPTIONS) --project-name="Kiwi" --add-package=kiwi --make-html - @mv ../apidocs api - - clean: diff --git a/debian/patches/series b/debian/patches/series index 7aa7e61..aa2e827 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -2,4 +2,3 @@ 01_avoid_building_howto.diff 02_avoid_version_checking.diff 04_avoid_building_helper_module.diff -05_pydoctor_build_time.diff |