diff options
author | 2007-07-08 18:53:19 +0000 | |
---|---|---|
committer | 2007-07-08 18:53:19 +0000 | |
commit | 192cf7ce0df36c9253ef026a4bc80b24dddd42a5 (patch) | |
tree | 1f3ea2244f7033f34f38aa68166eb29281a14061 /profiles.tex | |
parent | More dependencies rewording (diff) | |
download | pms-192cf7ce0df36c9253ef026a4bc80b24dddd42a5.tar.gz pms-192cf7ce0df36c9253ef026a4bc80b24dddd42a5.tar.bz2 pms-192cf7ce0df36c9253ef026a4bc80b24dddd42a5.zip |
Multiple parents. Gentoo#174956
git-svn-id: http://svn.repogirl.net/pms/trunk@167 a05a4626-2124-0410-b604-e6c5abf33261
Diffstat (limited to 'profiles.tex')
-rw-r--r-- | profiles.tex | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/profiles.tex b/profiles.tex index 7eda6e3..ea4ea20 100644 --- a/profiles.tex +++ b/profiles.tex @@ -15,10 +15,11 @@ section. It may also contain any number of subdirectories containing other profi \section{Files that make up a profile} \subsection{The parent file} -A profile may contain a \t{parent} file. This must contain, on its first line, the relative path to -another profile which will be considered as this profile's parent. Any settings from the parent are +A profile may contain a \t{parent} file. Each line must contain a relative path to another profile +which will be considered as one of this profile's parents. Any settings from the parent are inherited by this profile, and can be overridden by it. Precise rules for how settings are combined -with the parent profile vary between files, and are described below. +with the parent profile vary between files, and are described below. Parents are handled depth +first, left to right, with duplicate parent paths being sourced for every time they are encountered. This file must not contain comments, blank lines or make use of line continuations. |