diff options
Diffstat (limited to 'profiles.tex')
| -rw-r--r-- | profiles.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/profiles.tex b/profiles.tex index 856643b..af88568 100644 --- a/profiles.tex +++ b/profiles.tex @@ -1,7 +1,7 @@ \chapter{Profiles} \label{ch:profiles} -\section{General Principles} +\section{General principles} Generally, a profile defines information specific to a certain `type' of system---it lies somewhere between repository-level defaults and user configuration in that the information it contains is not necessarily applicable to all machines, but is sufficiently general that it should not be left to @@ -13,7 +13,7 @@ the files described in this chapter, and possibly inheriting another profile. Th follow a few basic conventions as regards inheritance and format; these are described in the next section. It may also contain any number of subdirectories containing other profiles. -\section{Files That Make up a Profile} +\section{Files that make up a profile} \subsection{The parent file} A profile may contain a \t{parent} file. Each line must contain a relative path to another profile |