Remove empty PHP Manual page (#129)

Co-authored-by: haszi <haszika80@gmail.com>
php · Jul 7, 2024 · bd825f2 · bd825f2
1 parent 1ac0ac7
commit bd825f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manual.xml.in b/manual.xml.in
@@ -41,7 +41,7 @@
  <title>&PHPManual;</title>
  &bookinfo;
 
- <book xml:id="manual">
+ <book xml:id="manual" annotations="chunk:false">
   <title>&PHPManual;</title>
   &preface;
  </book>