diff -r 61202be49b9e progs/arm_html.adb
--- a/progs/arm_html.adb	Thu May 10 16:59:13 2012 +0100
+++ b/progs/arm_html.adb	Fri May 11 16:31:24 2012 +0100
@@ -2345,7 +2345,11 @@
 	    if Number /= "" then -- Has paragraph number.

 		Paranum_Used := True;

 	        Ada.Text_IO.Put (Output_Object.Output_File, "<div class=""paranum"">");

+                Ada.Text_IO.Put (Output_Object.Output_File, "<a name=""p");

 	        Ada.Text_IO.Put (Output_Object.Output_File, Number);

+                Ada.Text_IO.Put (Output_Object.Output_File, """>");

+	        Ada.Text_IO.Put (Output_Object.Output_File, Number);

+                Ada.Text_IO.Put (Output_Object.Output_File, "</a>");

 	        Ada.Text_IO.Put_Line (Output_Object.Output_File, "</div>");

 	        Output_Object.Char_Count := 0;

 	        Output_Object.Disp_Char_Count := 0;