]> rtime.felk.cvut.cz Git - omk.git/commitdiff
Small fix in documentation
authorMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 12 Oct 2008 13:10:00 +0000 (13:10 +0000)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 12 Oct 2008 13:10:00 +0000 (13:10 +0000)
darcs-hash:20081012131013-f2ef6-074f3521ffb5bdb556d7c94d6fcbbdd7283f0f6c.gz

doc/omk-manual.texinfo

index 7db130252a876930496231c530edd8b8377aea8e..7c026a7c6cc779cb1835c1cd84df0c7f06952ddc 100644 (file)
@@ -740,9 +740,10 @@ directory.
 @node Common Variables,  , Using Configuration Parameters, Configuration and Conditional Compilation
 @subsection Common Variables
 
-It is common practice to use @file{config.omk} to store project-wide
-settings. Here is the list of variables, which are commonly set here
-(but they can also be set elsewhere, e.g. in @file{Makefile.omk}).
+It is common practice to use @file{config.target} or @file{config.omk}
+to store project-wide settings. Here is the list of variables, which are
+commonly set here (but they can also be set elsewhere, e.g. in
+@file{Makefile.omk}).
 
 You can easily ``reconfigure'' your project by changing the
 @file{config.omk} file. It is useful to have several configurations