diff options
author | Ulrich Müller <ulm@gentoo.org> | 2017-04-14 10:21:27 +0200 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2017-04-16 12:18:17 +0200 |
commit | ca463ce502ee81bfbfb2e9afe63895faad1379fc (patch) | |
tree | b5223e82faf2270901d217ad3a44625e3048a88c /profiles.tex | |
parent | pkg-mgr-commands: dohard, both paths are relative to D/ED (diff) | |
download | pms-ca463ce502ee81bfbfb2e9afe63895faad1379fc.tar.gz pms-ca463ce502ee81bfbfb2e9afe63895faad1379fc.tar.bz2 pms-ca463ce502ee81bfbfb2e9afe63895faad1379fc.zip |
More consistent capitalisation of headings.eapi-6-approved-2017-04-29
Use title case for first and second level headings (i.e., \chapter
and \section in the main text, \section and \subsection in the EAPI
cheat sheet); use sentence case everywhere else.
https://archives.gentoo.org/gentoo-pms/message/cef75e03f1a3b692281a5b79065dc2b6
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 ff791ac..2d0656d 100644 --- a/profiles.tex +++ b/profiles.tex @@ -1,7 +1,7 @@ \chapter{Profiles} \label{sec: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 |