We use Microsoft HTML Help Workshop to generate the Windows HTML Help format of the manual, and of course PHP itself to do some additional conversions and formatting.
Nous utilisons Microsoft HTML Help Workshop pour générer le format Windows HTML Help format du manuel, et bien sur, PHP lui-même pour réaliser certaines conversions et formatages.