diff options
-rw-r--r-- | doc/documentation/chapters/installation.texi | 4 |
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 | |||
1472 | applications, but MySQL can offer better performance and Postgres better | 1473 | applications, but MySQL can offer better performance and Postgres better |
1473 | resillience. | 1474 | resillience. |
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 | ||