From e38afbf0bf819bb5b487a9404bcbf51e8ea82f8e Mon Sep 17 00:00:00 2001 From: Jelmer Vernooij Date: Mon, 7 Dec 2015 23:45:54 +0000 Subject: Depend on newer version of pydoctor that supports SOURCE_DATE_EPOCH, drop custom specification of --buildtime to pydoctor. --- debian/patches/05_pydoctor_build_time.diff | 25 ------------------------- debian/patches/series | 1 - 2 files changed, 26 deletions(-) delete mode 100644 debian/patches/05_pydoctor_build_time.diff (limited to 'debian/patches') 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 -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 -- cgit v1.2.3