From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,WEIRD_QUOTING autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,6487f59679c615d8 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Received: by 10.68.241.7 with SMTP id we7mr10984786pbc.4.1336750379525; Fri, 11 May 2012 08:32:59 -0700 (PDT) Path: pr3ni14083pbb.0!nntp.google.com!news2.google.com!goblin1!goblin.stu.neva.ru!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Suggestion for RM HTML formatter extension Date: Fri, 11 May 2012 16:32:58 +0100 Organization: A noiseless patient Spider Message-ID: References: <82aa1ud0l3.fsf@stephe-leake.org> <20120509131736.63c924c8@vostro> <82lil0gxbm.fsf@stephe-leake.org> <20120511040710.52bbc3fd@vostro> <87obpv17gd.fsf_-_@adaheads.sparre-andersen.dk> Mime-Version: 1.0 Injection-Info: mx04.eternal-september.org; posting-host="Pd4gCuG8QV/d3K7tc8x0Wg"; logging-data="29295"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18g3Ygzwvy56oOLb34xPP/Zqq8tLB1ttQI=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (darwin) Cancel-Lock: sha1:7YTZ4J4vgc+PMqsSrLIoxfMmBms= sha1:33oD3nb9/Jkq0Gzi7+SWfuZTpXI= Content-Type: multipart/mixed; boundary="=-=-=" Date: 2012-05-11T16:32:58+01:00 List-Id: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Jacob Sparre Andersen writes: > Yannick DuchĂȘne wrote: > >> To give anchors to everything would be too much. > > Considering how often we refer to specific RM paragraphs here on CLA, I > think it would be worthwhile to be able to write links pointing to > specific paragraphs. > > If I could write and people would > end up at paragraph 6 in section 9.7.3 of the Ada05 reference manual, it > would be much easier than linking to the whole section and then writing > that people have to scroll down to paragraph 6. I'd have thought that would be straightforward enough .. the paragraph numbers are in a div with class paranum. A simple patch means I can write for para 13/2 of the 2005 manual (I'm not at all sure of the legality of that slash, but Safari and Chrome are happy!!). --=-=-= Content-Disposition: inline; filename=diff Content-Transfer-Encoding: 8bit Content-Description: Patch 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, "
"); + 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, ""); Ada.Text_IO.Put_Line (Output_Object.Output_File, "
"); Output_Object.Char_Count := 0; Output_Object.Disp_Char_Count := 0; --=-=-=--