Results
12
comments of
Thomas H
OK, I have applied the pull requests and added `make doc` to the cron job, to update the [synopsis](http://www.grammaticalframework.org/lib/doc/synopsis.html). Have a look and see if it works as expected.
I just noticed that some details in `synopsis-intro.txt` need to be updated manually: it says that there are 32 languages and enumerates them, but I guess there are 34 languages...