diff options
author | Juergen Borleis <jbe@pengutronix.de> | 2016-06-08 18:03:27 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-20 15:04:53 +0200 |
commit | 4c5e59504f9da4560bb3243161659b2f19a86ae0 (patch) | |
tree | d92a7f5107425d165690d8e6b833d0a8b71508b9 /doc | |
parent | 318345e2cea91446c579b8a75fedc1f3f1057a98 (diff) | |
download | ptxdist-4c5e59504f9da4560bb3243161659b2f19a86ae0.tar.gz ptxdist-4c5e59504f9da4560bb3243161659b2f19a86ae0.tar.xz |
Just fix a typo
Signed-off-by: Juergen Borleis <jbe@pengutronix.de>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/dev_manual.rst | 2 | ||||
-rw-r--r-- | doc/ref_manual.rst | 2 | ||||
-rw-r--r-- | doc/ref_parameter.inc | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/doc/dev_manual.rst b/doc/dev_manual.rst index b1521b44a..70099b266 100644 --- a/doc/dev_manual.rst +++ b/doc/dev_manual.rst @@ -906,7 +906,7 @@ For example: In this example, our new package depends on the compression library *zlib*. PTXdist comes with a target *zlib*. All we need to do in this case is to declare that our new package *foo* depends on *zlib*. This -kind of dependencies is managed in the menu file of our new package by +kind of dependency is managed in the menu file of our new package by simply adding the ``select ZLIB`` line. After this addition our menu file looks like: diff --git a/doc/ref_manual.rst b/doc/ref_manual.rst index a24cb6cc1..014658fc9 100644 --- a/doc/ref_manual.rst +++ b/doc/ref_manual.rst @@ -138,7 +138,7 @@ Package Definition This is the download URL for the source archive. It is a space separated list of URLs. PTXdist will try each URL until it finds one that works. There are two main reasons to provide more than one URL: 1. Additional - mirror(s) in case the main location is unavailable. 2. Some Projects move + mirror(s) in case the main location is unavailable. 2. Some projects move old versions into a separate directory when a new version is released. Providing both versions of the URL ensures that PTXdist still has a working URL after the next upstream release. diff --git a/doc/ref_parameter.inc b/doc/ref_parameter.inc index e22a110ca..57bfbc895 100644 --- a/doc/ref_parameter.inc +++ b/doc/ref_parameter.inc @@ -254,7 +254,7 @@ Options This means, that the output for each individual make target and each build stage is grouped together. - Note: If output synchronization enabled then the output for each build + Note: If output synchronization is enabled then the output for each build stage is collected by make and won't be visible until the build stage is completed. As a result, there will be long periods of time with no visible progress. |