diff options
| author | Enrico Joerns <e.joerns@tu-bs.de> | 2015-06-02 21:19:14 +0200 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2015-12-03 22:37:00 +0100 |
| commit | 168b831fa5e4be95e036d285235796a205d25d76 (patch) | |
| tree | 7bad2cf3c6e8e2f5fd9ad7792441743c49a983f4 /doc/environment.rst | |
| parent | d220d4e2af6266bbe25008392f114aa593756228 (diff) | |
| download | ptxdist-168b831fa5e4be95e036d285235796a205d25d76.tar.gz ptxdist-168b831fa5e4be95e036d285235796a205d25d76.tar.xz | |
doc: fixes for user manual
Signed-off-by: Enrico Joerns <e.joerns@tu-bs.de>
Diffstat (limited to 'doc/environment.rst')
| -rw-r--r-- | doc/environment.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/environment.rst b/doc/environment.rst index 280f036b7..231b91320 100644 --- a/doc/environment.rst +++ b/doc/environment.rst @@ -282,6 +282,9 @@ proxy in the form: ``<protocol>://<address>:<port>`` + +.. _source-arch-loc: + Source Archive Location ^^^^^^^^^^^^^^^^^^^^^^^ |