sean,
@sean@scoat.es avatar

Remember when software publishers made an effort to make their documentation available for use offline? That was cool.

(About to get on a flight and wanted to download the docs for an open source library that’s pretty new to me. I don’t see a way of doing that short of crawling a few dozen (hundred?) HTML pages, or maybe building the docs from the source, myself. Situations like this always remind me how proud I was—and should be—about the work we did on the manual, way back.)

jaapio,
@jaapio@phpc.social avatar

@sean interesting 🤔 maybe I should build this into @phpdoc. A single page html template could do something, because it can be turned into a pdf. But building an artifact of all documentation formats could also be an option.

derickr,
@derickr@phpc.social avatar

@sean and we still provide it: https://www.php.net/download-docs.php

Schrank,
@Schrank@phpc.social avatar

@sean yes it is awesome!

Next time, try wget -r 🤞🤞

sean,
@sean@scoat.es avatar

@Schrank That’s the “crawling” part that I mentioned and should’t have to do. Plus it rarely fully works anymore because of client-side loading.

Schrank,
@Schrank@phpc.social avatar

@sean wtf… arg. Unterstand 🤪🫠🙄

  • All
  • Subscribed
  • Moderated
  • Favorites
  • php
  • DreamBathrooms
  • magazineikmin
  • Youngstown
  • thenastyranch
  • rosin
  • slotface
  • ngwrru68w68
  • Durango
  • PowerRangers
  • kavyap
  • cisconetworking
  • tsrsr
  • everett
  • mdbf
  • anitta
  • tacticalgear
  • khanakhh
  • ethstaker
  • vwfavf
  • InstantRegret
  • tester
  • osvaldo12
  • cubers
  • GTA5RPClips
  • Leos
  • normalnudes
  • modclub
  • provamag3
  • All magazines