From c3bbf19315067dc4dbc4aaf132a2b20d63f87da0 Mon Sep 17 00:00:00 2001 From: Sebastian Kuzminsky Date: Sun, 28 Feb 2016 22:26:24 -0700 Subject: build the manual using headers from the source tree, not installed --- debian/patches/series | 1 + 1 file changed, 1 insertion(+) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index 964a4a7f..9650677b 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -4,3 +4,4 @@ 05_abc_executable.patch spelling-fixes.patch switch-to-free-font.patch +manual-build.patch -- cgit v1.2.3