3 Commits (cf1224aab603dc0bbcf5f6527f7cc6b9b48806fc)

Author	SHA1	Message	Date
Oliver Günther	73f5d9f29c	Rename `nav:` to `sidebar_navigation:` and disable manual ... [ci skip]	5 years ago
Oliver Günther	6fbcb42d62	Add ordering to installation docs	5 years ago
Oliver Günther	8f255960e6	Start copying docs from dev operations	5 years ago
Markus Kahl	b71d8d0c98	updated references to version 8	6 years ago
Wieland Lindenthal	714f90bd10	Update Docker for using PostgreSQL 9.6 (#6154) ... * Update PullPreviews Postgers Version to 9.6.3 * Adopt Dockerfile.public to Postgres version 9.6 * Fix other Postgres version number bumps for docker * Docker: use ruby:2.4-stretch as base image [ci skip]	7 years ago
Niels Lindenthal	ddd3f220fd	consolidate upgrade and backup guide ... [ci skip]	8 years ago
Niels Lindenthal	100c330a02	Rename doc to docs and restructure operations folder ... [ci skip]	8 years ago
Oliver Günther	8023a8f558	Merge documentation folders ... [ci skip]	8 years ago
Oliver Günther	5c9bb331ba	Separate actual documentation guides in github from sources ... From now on, use `doc/` as a source folder for documentation assets to be built (e.g., API documentation or source files included in wordpress). Use `guides/` for self-reliant Markdown documents on topics relevant for developers and administrators, as well as community-contributed guides we do not feature on the website. [ci skip]	8 years ago
Cyril Rohr	fa33c58f0f	Reorganize docker & packager doc	9 years ago