aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/documentation/chapters/installation.texi4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/documentation/chapters/installation.texi b/doc/documentation/chapters/installation.texi
index be2da8702..eeb14473b 100644
--- a/doc/documentation/chapters/installation.texi
+++ b/doc/documentation/chapters/installation.texi
@@ -19,6 +19,7 @@ it in the form of new chapters or insightful comments.
19* Build instructions for Debian 7.5:: 19* Build instructions for Debian 7.5::
20* Installing GNUnet from Git on Ubuntu 14.4:: 20* Installing GNUnet from Git on Ubuntu 14.4::
21* Build instructions for Debian 8:: 21* Build instructions for Debian 8::
22@c * Build instructions for OpenBSD 6.2::
22* Outdated build instructions for previous revisions:: 23* Outdated build instructions for previous revisions::
23@c * Portable GNUnet:: 24@c * Portable GNUnet::
24* The graphical configuration interface:: 25* The graphical configuration interface::
@@ -1472,6 +1473,9 @@ with the default Sqlite database. Sqlite is usually fine for most
1472applications, but MySQL can offer better performance and Postgres better 1473applications, but MySQL can offer better performance and Postgres better
1473resillience. 1474resillience.
1474 1475
1476@c @node Build instructions for OpenBSD 6.2
1477@c @section Build instructions for OpenBSD 6.2
1478
1475@node Outdated build instructions for previous revisions 1479@node Outdated build instructions for previous revisions
1476@section Outdated build instructions for previous revisions 1480@section Outdated build instructions for previous revisions
1477 1481