Verified Commit 9d9aed39 authored by anarcat's avatar anarcat
Browse files

use <a id=""> instead of name, as name is not HTML5

parent 7f6581d1
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -985,7 +985,7 @@ The GDB errors were documented in [issue 33732](https://gitlab.torproject.org/tp

## Disaster recovery

<a name="Restoring-the-directory-server"></a>
<a id="Restoring-the-directory-server"></a>

Also known as "Restoring the directory server".

+2 −2
Original line number Diff line number Diff line
@@ -672,7 +672,7 @@ it isn't available in Debian.

## Direct backup recovery

<a name="direct-restore-procedures" />
<a id="direct-restore-procedures" />

Note: this procedure **streams** the files from the backup server to
the database server and restore directly. See the [disaster
@@ -1009,7 +1009,7 @@ The correct way to recover here is to issue a `pg_promote` statement:

## Indirect backup recovery

<a name="indirect-restore-procedures" />
<a id="indirect-restore-procedures" />

Note: this procedure **copies** the backup files from the backup
server to the database server and restores from those. It is a
+2 −2
Original line number Diff line number Diff line
@@ -38,7 +38,7 @@ Which we translate in the following policy proposals:

# Proposal

<a name="how-to-get-help"></a>
<a id="how-to-get-help"></a>

<!-- if this section gets changed, also change support.md -->

@@ -239,7 +239,7 @@ admins][] (see below) to upgrade their services to keep
up with the Debian release schedule.

[service admins]: #service-admins
<a name="service-admins"></a>
<a id="service-admins"></a>

### Service admins