# HG changeset patch
# User Maxim Dounin <mdounin@mdounin.ru>
# Date 1524508865 -10800
# Node ID fd06f014e6dbe0e0c3978e70141825eb4bc41074
# Parent  ebc9fb8139e4fc902f2a332e0b020273bf147296
Marked nginx.pid as path in configure description.

diff -r ebc9fb8139e4 -r fd06f014e6db xml/en/docs/configure.xml
--- a/xml/en/docs/configure.xml	Mon Apr 23 21:41:03 2018 +0300
+++ b/xml/en/docs/configure.xml	Mon Apr 23 21:41:05 2018 +0300
@@ -8,7 +8,7 @@
 <article name="Building nginx from Sources"
          link="/en/docs/configure.html"
          lang="en"
-         rev="12">
+         rev="13">
 
 <section>
 
@@ -57,8 +57,8 @@
 <literal>--pid-path=<value>path</value></literal>
 </tag-name>
 <tag-desc>
-sets the name of an nginx.pid file that will store the process ID
-of the main process.
+sets the name of an <path>nginx.pid</path> file
+that will store the process ID of the main process.
 After installation, the file name can always be changed in the
 <path>nginx.conf</path> configuration file using the
 <link doc="ngx_core_module.xml" id="pid"/> directive.
diff -r ebc9fb8139e4 -r fd06f014e6db xml/ru/docs/configure.xml
--- a/xml/ru/docs/configure.xml	Mon Apr 23 21:41:03 2018 +0300
+++ b/xml/ru/docs/configure.xml	Mon Apr 23 21:41:05 2018 +0300
@@ -8,7 +8,7 @@
 <article name="Сборка nginx из исходных файлов"
          link="/ru/docs/configure.html"
          lang="ru"
-         rev="12">
+         rev="13">
 
 <section>
 
@@ -57,7 +57,8 @@
 <literal>--pid-path=<value>путь</value></literal>
 </tag-name>
 <tag-desc>
-задаёт имя файла nginx.pid, в котором будет храниться номер главного процесса.
+задаёт имя файла <path>nginx.pid</path>,
+в котором будет храниться номер главного процесса.
 После установки имя файла можно всегда поменять в конфигурационном
 файле <path>nginx.conf</path> с помощью директивы
 <link doc="ngx_core_module.xml" id="pid"/>.