Re: ccl user manual

> On Jun 23, 2024, at 7:28=E2=80=AFAM, Nicolas Martyanoff =
<[email protected]> wrote:
>=20
> "R. Matthew Emerson" <[email protected]> writes:
>=20
>> The sources for the manual are part of the CCL repository. The user
>> manual is in ccl:doc;manual; and I just added a basic Makefile so =
that
>> it=E2=80=99s a little easier to format it.
>>=20
>> To run the Makefile, edit it so that the CCLDOC_ROOT variable points
>> to your local checkout of CCLDoc.
>>=20
>> The stylesheet used by the manual is at ccl:doc;manual;style.css, and
>> I=E2=80=99d happily take patches or pull requests from those who are =
better at
>> web stuff than I am. Of course, I=E2=80=99ll also happily take pull =
requests
>> for other aspects of the manual as well.
>=20
> Following my last post I was thinking about sending a patch, but I
> cannot find style.css in doc/manual/, or the new Makefile [1]. Is =
there
> another repository?

I forgot to push to Clozure/ccl. The files should be there now.

>=20
> [1] BTW If you name it GNUmakefile, you will avoid issues on platforms
> where "make" is BSD Make and not GNU Make.

I think/hope that the Makefile is written in such a way that it =
doesn=E2=80=99t depend on any GNU Make features.

Thanks for taking a look.