Question

1

DevHelp php-doc is not available

rated 0 times [ 1] [ 0] / answers: 1 / hits: 1346 / 3 Years ago, fri, june 4, 2021, 7:03:43

I've been using Devhelp but find that it is too much towards python, and Gnome development. Other documentations (such as php-doc) are left out as of now.

Is there a simple way to add php-doc into devhelp ?

Answers

Only authorized users can answer the question. Please sign in first, or register a free account.

attagjump

Add To Favorites

Follow

Total Points: 272

Total Questions: 127

Total Answers: 124

Location: Taiwan

Member since Fri, Sep 17, 2021

3 Years ago

attagjump questions

1 Installed Ubuntu 22.04 and I experience frequent freezes and crashes (when using NVIDIA graphics card)

Sat, Feb 12, 22, 08:43, 2 Years ago

1 Make /etc/resolv.conf changes permanent in WSL 2

Tue, Nov 29, 22, 14:19, 1 Year ago

1 How can I tell which of these video devices is a webcam?

Wed, Jun 22, 22, 07:45, 2 Years ago

1 How can I merge two partitions into one?

Tue, Jun 15, 21, 19:03, 3 Years ago

1 Xubuntu 20.04 minimal installation

Thu, Dec 22, 22, 05:47, 1 Year ago

View All

answered 3 Years ago scusaper · Accepted Answer

Devhelp requires documentation in specific format (.devhelp files, presumably generated with gtk-doc), it won't automatically pick documentation from all *-doc packages present on your system.

Edit: PHP documentation is still available in /usr/share/doc/php-doc/html once you install php-doc package. However, probably more robust solution is to download PHP documentation in CHM format and use it with some CHM viewer like ChmSee or xCHM.