[LON-CAPA-cvs] cvs: doc /build debian10_install.frag debian11_install.frag debian12_install.frag

[raeburn]

raeburn		Tue Aug  6 12:25:06 2024 EDT

  Modified files:              
    /doc/build	debian12_install.frag debian11_install.frag 
              	debian10_install.frag 
  Log:
  - Malformed tag
  
  
Index: doc/build/debian12_install.frag
diff -u doc/build/debian12_install.frag:1.4 doc/build/debian12_install.frag:1.5
--- doc/build/debian12_install.frag:1.4	Tue Aug  6 03:10:01 2024
+++ doc/build/debian12_install.frag	Tue Aug  6 12:25:06 2024
@@ -84,7 +84,7 @@
 <p>
 Finish installing your server, reboot it, and log in with the username you created during installation.
 </p>
-<h3>Enabling sudo>/h3>
+<h3>Enabling sudo</h3>
 <p>If you wish to allow the username created during installation to have administration privileges using sudo, use su to become root and execute the following, replacing <i><username><i> with that specific username:
 </p>
 <pre>
Index: doc/build/debian11_install.frag
diff -u doc/build/debian11_install.frag:1.3 doc/build/debian11_install.frag:1.4
--- doc/build/debian11_install.frag:1.3	Tue Aug  6 03:10:01 2024
+++ doc/build/debian11_install.frag	Tue Aug  6 12:25:06 2024
@@ -84,7 +84,7 @@
 <p>
 Finish installing your server, reboot it, and log in with the username you created during installation.
 </p>
-<h3>Enabling sudo>/h3>
+<h3>Enabling sudo</h3>
 <p>If you wish to allow the username created during installation to have administration privileges using sudo, use su to become root and execute the following, replacing <i><username><i> with that specific username:
 </p>
 <pre>
Index: doc/build/debian10_install.frag
diff -u doc/build/debian10_install.frag:1.3 doc/build/debian10_install.frag:1.4
--- doc/build/debian10_install.frag:1.3	Tue Aug  6 03:10:01 2024
+++ doc/build/debian10_install.frag	Tue Aug  6 12:25:06 2024
@@ -84,7 +84,7 @@
 <p>
 Finish installing your server, reboot it, and log in with the username you created during installation.
 </p>
-<h3>Enabling sudo>/h3>
+<h3>Enabling sudo</h3>
 <p>If you wish to allow the username created during installation to have administration privileges using sudo, use su to become root and execute the following, replacing <i><username><i> with that specific username:
 </p>
 <pre>