1
0
forked from GitHub/gf-rgl
Commit Graph

16 Commits

Author SHA1 Message Date
Thomas Hallgren
4e646d5c7b Add verbosity option in doc/MkExxTable.hs
Don't need a lot of output on stdout when it is used from MkSynposis.hs
2018-10-23 16:22:04 +02:00
Thomas Hallgren
881753ce3e doc/Makefile: incremental and parallel rebuild of the synopsis
Enough dependencies have been added so that

* If nothing has changed, MkSynopsis.hs will not be run, so synopisis.html
  will not be needlessly regenerated.
* You can use 'make -j' to build examples for different languages in parallel.

Hopefully 'make synopsis' produces the exact same result as before, but if
it turns out that some dependencies are missing and something is not
rebuilt despite of changes, 'make clean' can be used to force a full rebuild.
2018-10-22 23:38:56 +02:00
aarne
d8d8321dea regenerated synopsis with more far-reaching partial evaluation to complete some of the examples (also recent RGL fixes included) 2016-03-01 12:59:38 +00:00
aarne
3f408e8ace some fixes in synopsis example display 2013-10-18 08:48:18 +00:00
aarne
f8e5423b65 updated resource synopsis and the scripts creating it; added Swahili to main index list 2013-01-30 17:01:22 +00:00
aarne
6742040d45 added Chi to the synopsis languages that can be compiled, but didn't update synopsis yet. 2012-10-15 09:59:44 +00:00
aarne
2df97cbeac tried to change Jap to Jpn everywhere 2012-06-11 20:08:14 +00:00
aarne
312753938b fixed some discontinuous categories in synopsis by wrapping with mkUtt 2012-05-15 08:02:12 +00:00
aarne
1a4c8bb927 diverse RGL and Phrasebook fixes, and a corrected Synopsis 2011-12-05 15:25:06 +00:00
aarne
666189c529 improved the printability of synopsis examples 2011-10-24 15:17:53 +00:00
aarne
316cf2e261 post-cleaning of tailing pre expressions in synopsis generation 2011-10-24 12:53:24 +00:00
aarne
25bc9c3aac fine-tuning the synopsis 2010-12-22 08:39:46 +00:00
aarne
256a8b3a61 recognize digits in synopsis examples 2010-12-15 15:46:17 +00:00
aarne
51e4d92469 explanations to paradigms in synopsis 2010-12-14 12:28:10 +00:00
aarne
98c4022050 more examples in synopsis 2010-12-13 17:28:34 +00:00
aarne
5977d08bb7 auxiliaries for making the synopsis with multilingual examples 2010-12-11 20:47:53 +00:00