Re: Documentation

[Mohammad-Reza Nabipoor]

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.


> > And a comment about this feature: I really don't like this feature (using closed
> > ranges (intervals) instead of half-open ranges). IMHO dealing with half-open
> > ranges are much more simpler.
> > I guess you've made this decision because of Algol68 :D
>
> Right :)
>
> I have in fact considered changing it so the right extreme of the
> interval is open instead of closed.  That will probably help in
> calculations, considering our arrays are zero-based (unlike the Algol68
> arrays, which can be configured to have different bases.)
>
> If we are gonna change that, now is the right time, before the first
> release.  What people think about it?

I think this question worth it's own thread. And FTR, I agree with this change!


Regards,
Mohammad-Reza

index.html.gz
Description: application/gzip