[erlang-questions] Erlang Language Specification

[Rickard Green]

On 11/30/2017 04:04 PM, Steve Vinoski wrote:
> On Thu, Nov 30, 2017 at 6:51 AM, Rickard Green <rickard@REDACTED> wrote:
> 
>> Hi,
>>
>> In the late 90ies work were being done on an Erlang language
>> specification. A draft which was produced can be found at <
>> http://www.erlang.org/download/erl_spec47.ps.gz>. Unfortunately the work
>> on this document stopped after this.
>>
>> This document is of course quite outdated, but it contains lots of
>> valuable information. I think it is about time to continue this work. It
>> will however require lots of work to finish. We publish the source for the
>> draft in the hope that we in collaboration with the Erlang community
>> eventually will be able to produce an official Erlang Language
>> Specification.
>>
>> I've created a new repository <https://github.com/erlang/spec> which
>> contains the source of the document.
>>
> 
> I see the makefiles produce postscript by default, which was useful in the
> 90s but IMO isn't anymore. Wouldn't it be better to make pdf the default?
> 
> --steve
> 

Yes, I think that would be better too.

The current makefile use pdflatex to produce the pdf. I'm not sure if it 
is as available in latex packages as the latex command is. Since I don't 
know I went for the ps as default, but this can be changed.

Regards,
Rickard