diff options
| author | Peter Schiffer <pschiffe@redhat.com> | 2014-01-23 13:21:41 +0000 |
|---|---|---|
| committer | Colin Watson <cjwatson@debian.org> | 2014-01-23 13:21:41 +0000 |
| commit | f26aa9dc1836ef4fbc6bb0487b30e2be3bb4827f (patch) | |
| tree | 52f044513e9d835d5228f5640de8fcb6e1627bbe /man/de | |
| parent | ba94d52d226f9adf9c0f4e0345caf1f14e186c3b (diff) | |
Add support for override directory in search path
* configure.ac: Add --with-override-dir option.
* include/manconfig.h.in (OVERRIDE_DIR): New definition.
* src/manp.c (insert_override_dir): New function.
(get_manpath_from_path): Call it before add_dir_to_list.
* src/tests/man-9: New file.
* src/tests/Makefile.am (TESTS_ENVIRONMENT): Set and export
OVERRIDE_DIR.
(ALL_TESTS): Add man-9.
* NEWS: Document this.
Diffstat (limited to 'man/de')
| -rw-r--r-- | man/de/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/de/Makefile.in b/man/de/Makefile.in index 27c14fd1..551882fe 100644 --- a/man/de/Makefile.in +++ b/man/de/Makefile.in @@ -1405,6 +1405,7 @@ mkdir_p = @mkdir_p@ neqn = @neqn@ nroff = @nroff@ oldincludedir = @oldincludedir@ +override_dir = @override_dir@ pager = @pager@ pdfdir = @pdfdir@ pic = @pic@ |