diff options
author | Sebastian Kuzminsky <seb@highlab.com> | 2016-02-28 22:26:24 -0700 |
---|---|---|
committer | Sebastian Kuzminsky <seb@highlab.com> | 2016-03-28 21:55:19 -0600 |
commit | c3bbf19315067dc4dbc4aaf132a2b20d63f87da0 (patch) | |
tree | 5b3a02204dbd8f2280e573b76f97bb66dddd27c9 /debian/patches/series | |
parent | 1d78ebaf9b518d96230ae19c958aedf8873a31f6 (diff) |
build the manual using headers from the source tree, not installed
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
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 |