diff options
author | Filipe Brandenburger <filbranden@google.com> | 2015-05-27 02:38:19 -0700 |
---|---|---|
committer | Lennart Poettering <lennart@poettering.net> | 2015-05-28 19:28:19 +0200 |
commit | 681eb9cf2b831293a4f3d4c48a748d2e4a25d69e (patch) | |
tree | 9293679b667f4d0dd0c525913b5d0ede61460550 /po/de.po | |
parent | 5f529f4c97a141457301477505ae7eb4c28cf610 (diff) |
man: generate configured paths in manpages
In particular, use /lib/systemd instead of /usr/lib/systemd in distributions
like Debian which still have not adopted a /usr merge setup.
Use XML entities from man/custom-entities.ent to replace configured paths while
doing XSLT processing of the original XML files. There was precedent of some
files (such as systemd.generator.xml) which were already using this approach.
This addresses most of the (manual) fixes from this patch:
http://anonscm.debian.org/cgit/pkg-systemd/systemd.git/tree/debian/patches/Fix-paths-in-man-pages.patch?h=experimental-220
The idea of using generic XML entities was presented here:
http://lists.freedesktop.org/archives/systemd-devel/2015-May/032240.html
This patch solves almost all the issues, with the exception of:
- Path to /bin/mount and /bin/umount.
- Generic statements about preference of /lib over /etc.
These will be handled separately by follow up patches.
Tested:
- With default configure settings, ran "make install" to two separate
directories and compared the output to confirm they matched exactly.
- Used a set of configure flags including $CONFFLAGS from Debian:
http://anonscm.debian.org/cgit/pkg-systemd/systemd.git/tree/debian/rules
Installed the tree and confirmed the paths use /lib/systemd instead of
/usr/lib/systemd and that no other unexpected differences exist.
- Confirmed that `make distcheck` still passes.
Diffstat (limited to 'po/de.po')
0 files changed, 0 insertions, 0 deletions