Add short text introducing PIE

php/doc-en@3bc709a

Author: mumumu

install/pie.xml

@@ -0,0 +1,43 @@
+<?xml version="1.0" encoding="utf-8"?>
+<!-- $Revision$ -->
+<!-- EN-Revision: 3bc709a20a52a12d7e0e4736a8f332517acb199c Maintainer: mumumu Status: ready -->
+
+<chapter xml:id="install.pie" xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink" annotations="chunk:false">
+ <title>PIE と サードパーティ拡張モジュールのインストール</title>
+
+ <sect1 xml:id="install.pie.intro">
+  <title>PIE の紹介</title>
+  <simpara>
+   &link.pie; は PHP のためのインストーラーです。
+   これを使うと、サードパーティの PHP 拡張モジュールをインストールできます。
+   しかもインストールや更新が簡単にできます。
+   PIE は PHP 拡張モジュールのリポジトリとして、
+   <link xlink:href="&url.packagist;">Packagist</link> を利用しており、
+   それを用いてソースコードを探し、拡張機能をビルドしています。
+   さらに存在する場合には、
+   Packagist 経由で Windows バイナリもダウンロードします。
+   ソースコードをダウンロードした場合、
+   そのビルドの仕方やインストール方法も PIE は把握しています。
+  </simpara>
+  <simpara>
+   <link xlink:href="&url.pie;?tab=readme-ov-file#what-do-i-need-to-get-started">PIE とその動作に必要なものをインストール</link> した後は、
+   コマンドラインから以下を実行することで、
+   <link linkend="mongodb.mongodb">MongoDB 拡張モジュール</link>
+   をインストールできます。
+  </simpara>
+  <example>
+   <title>MongoDB 拡張モジュール を PIE を使ってインストールする</title>
+   <programlisting role="shell">
+<![CDATA[
+pie install mongodb/mongodb-extension
+]]>
+   </programlisting>
+  </example>
+  <simpara>
+   さらに詳しいことは、
+   <link xlink:href="&url.pie;/blob/main/docs/usage.md">"PIE
+   Usage" documentation</link> が説明しています。
+  </simpara>
+
+ </sect1>
+</chapter>