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:
```sh
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:
```html
<span id="Top"></span><div class="header">
```
So I've changed the `sed` pattern to this:
```sh
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.