Rombobjörn

summaryrefslogtreecommitdiff
path: root/comfignat.mk
diff options
context:
space:
mode:
authorBjörn Persson <bjorn@rombobjörn.se>2013-08-01 18:30:33 +0200
committerBjörn Persson <bjorn@rombobjörn.se>2013-08-01 18:30:33 +0200
commit0fcc2762e5291dc1e98d6887084235eaaf0dab74 (patch)
tree32e327790915dc532b1a0e38e5d033c1dca421e3 /comfignat.mk
parent46d272892e2bb070e694e36cc9a9e58988032094 (diff)
documentation adjustments
Diffstat (limited to 'comfignat.mk')
-rw-r--r--comfignat.mk12
1 files changed, 6 insertions, 6 deletions
diff --git a/comfignat.mk b/comfignat.mk
index 5c5e62a..c9871c6 100644
--- a/comfignat.mk
+++ b/comfignat.mk
@@ -111,17 +111,17 @@ objdir = ${builddir}/obj
stagedir = ${builddir}/stage
# builddir is the build directory, which may be separate from the source tree.
# Intermediate files produced during the build are kept in objdir. Files to be
-# installed are written to stagedir, and then copied to their destination in
+# installed are written under stagedir, and then copied to their destination in
# the installation step.
# Containing makefiles should avoid modifying the directory variables. Users
# should be able to rely on these defaults.
install_cp_flags = ${if ${DESTDIR},--preserve=timestamps}
-# Timestamps are preserved when installation is done to a staging directory.
+# Timestamps are preserved when installation is done to a staging directory.
# This matters for files that aren't generated during the build but copied from
# the source tree. Timestamps are not preserved when installation is done
-# directly to the target system, because that would change the timestamps of
+# directly to the target system, because that would change the timestamps of
# existing directories.
@@ -501,9 +501,9 @@ configure:: ${builddir}/Makefile
# defined later in the containing makefile, but can be overridden on the
# command line. A variable is considered previously configured if there is
# another variable with "_is_configured" appended to its name and a value of
-# "true". Such a variable is also written for each configured variable. It is
-# therefore possible to delete a variable V from the configuration by running
-# "make configure V_is_configured=false".
+# "true". Such a variable is also written for each configured variable. As a
+# side effect of this it is possible to delete a variable V from the
+# configuration by running "make configure V_is_configured=false".
${builddir}/comfignat.gpr: comfignat.gpr.gp | ${builddir}
"${GNATPREP}" $< $@ -DInvoked_By_Makefile ${all_directories}