diff options
author | Björn Persson <bjorn@rombobjörn.se> | 2013-08-01 18:30:33 +0200 |
---|---|---|
committer | Björn Persson <bjorn@rombobjörn.se> | 2013-08-01 18:30:33 +0200 |
commit | 0fcc2762e5291dc1e98d6887084235eaaf0dab74 (patch) | |
tree | 32e327790915dc532b1a0e38e5d033c1dca421e3 /comfignat.mk | |
parent | 46d272892e2bb070e694e36cc9a9e58988032094 (diff) |
documentation adjustments
Diffstat (limited to 'comfignat.mk')
-rw-r--r-- | comfignat.mk | 12 |
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} |