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,FREEMAIL_FROM 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.125.201 with SMTP id ms9mr10578320pbb.3.1336740944889; Fri, 11 May 2012 05:55:44 -0700 (PDT) Path: pr3ni13684pbb.0!nntp.google.com!news2.google.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: Ada Reference Manual 2012 in info format Date: Fri, 11 May 2012 14:55:43 +0200 Organization: Ada @ Home Message-ID: References: <82aa1ud0l3.fsf@stephe-leake.org> <20120509131736.63c924c8@vostro> <17qiwxc1yxhx7$.11tflala8jabh$.dlg@40tude.net> <4faa7790$0$9508$9b4e6d93@newsspool1.arcor-online.net> <1qod0a82z1gx4.6ncrd98m7cz3.dlg@40tude.net> <824nrngcbf.fsf@stephe-leake.org> NNTP-Posting-Host: qdZfU1TTBVfE0BZ3/wheKw.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/12.00 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable Date: 2012-05-11T14:55:43+02:00 List-Id: Le Fri, 11 May 2012 13:57:24 +0200, Stephen Leake = a =C3=A9crit: > "Yannick Duch=C3=AAne (Hibou57)" writes: > >> On Windows, I tweaked it (which >> took me a long time) to turn it into MS=E2=80=91HTMLHELP, which, on = Windows, >> is much more useful and handy than plain HTML viewed in a browser > > If you took good notes, it would be good to incorporate those tweaks > into the arm_info tool. Producing a Windows-friendly version of the AR= M > would be a Good Thing. > > Please try it yourself, or send me your notes. Or your final output; > maybe I can reverse engineer it. In few word, how I did it, was via JavaScript to have a straight away an= d = easy access to the DOM of each HTML page. The JavaScript program returne= d = me some data needed to create the tree and index. The JavaScript was = embedded with simple