From 0fcc2762e5291dc1e98d6887084235eaaf0dab74 Mon Sep 17 00:00:00 2001 From: Björn Persson Date: Thu, 1 Aug 2013 18:30:33 +0200 Subject: documentation adjustments --- comfignat.mk | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'comfignat.mk') 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} -- cgit v1.2.3