[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Documentation

From: Mohammad-Reza Nabipoor
Subject: Re: Documentation
Date: Thu, 1 Oct 2020 23:08:26 +0330

Hi, Jose.

On Wed, Sep 16, 2020 at 09:35:03PM +0430, Mohammad-Reza Nabipoor via poke-devel 
Hi Jose

On Tue, Sep 15, 2020 at 09:00:06PM +0200, Jose E. Marchesi wrote:

When I `make html` in doc/ I don't get an empty index.html.  How are you
generating the html documentation?

The problem is the following `sed` command:

sed -i -e '/^<h2.*contents-heading.*/,/<a name="Top">.*/d' \
   -e 's/^<h1.*settitle.*//' poke.html/index.html

The problem is that there's no `<a name="Top">` in the generated file (generated
by `texinfo` version 6.7).
I have attached the generated `index.html`.

Instead there's this line:

<span id="Top"></span><div class="header">

So I've changed the `sed` pattern to this:

sed -i -e '/^<h2.*contents-heading.*/,/<.* .*="Top">.*/d' \
   -e 's/^<h1.*settitle.*//' poke.html/index.html

This works, but I really don't like this hack.

Do you have any solution for this bug?
Should I open a bug report?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]