From fd657824b3ccba0c99fdd73855700a31d0483c58 Mon Sep 17 00:00:00 2001 From: Yorhel Date: Sat, 23 Dec 2017 14:28:16 +0100 Subject: [PATCH] Add database downloads --- www/index.pl | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/www/index.pl b/www/index.pl index a1d2f0f..6b3d5f3 100755 --- a/www/index.pl +++ b/www/index.pl @@ -292,6 +292,24 @@ sub about { _ end; + h2 'Database download'; + p; lit <<' _'; + This site is backed by a PostgreSQL database containing all the man pages. + Weekly dumps of the full database are available for download at + http://dl.manned.org/dumps/. +

+ Be warned that the download server may not be terribly reliable, so it is + advisable to use a client that supports resumption of partial downloads. See + wget's -c or curl's -C. +

+ The database schema is "documented" at schema.sql in + the git repo. Note that these dumps don't constitute a stable API and, while + this won't happen frequently, incompatible schema changes or Postgres major + version bumps may occur. + _ + end; + h2 'Other systems'; p; lit <<' _'; Suggestions for new (or old) systems to index are welcome.