From: Fabian Keil <fk@fabiankeil.de>
Date: Mon, 7 Dec 2020 18:48:20 +0000 (+0100)
Subject: Add another id
X-Git-Tag: v_3_0_30~271^2~45
X-Git-Url: http://www.privoxy.org/gitweb/%22https:/@default-cgi@edit-actions-remove-url-form?a=commitdiff_plain;h=6f38b82d66e66c067b60be3d7ea611661f28651a;p=privoxy.git

Add another id
---

diff --git a/doc/source/user-manual.sgml b/doc/source/user-manual.sgml
index 08ba0597..5435bafa 100644
--- a/doc/source/user-manual.sgml
+++ b/doc/source/user-manual.sgml
@@ -1759,7 +1759,7 @@ for details.
     The default profiles, and their associated actions, as pre-defined in
     <filename>default.action</filename> are:
    </para>
-    <table frame=all><title>Default Configurations</title>
+    <table frame=all id="default-configurations"><title>Default Configurations</title>
     <tgroup cols=4 align=left colsep=1 rowsep=1>
     <colspec colname=c1>
     <colspec colname=c2>