Andreas Jaeger 2d04ed1a60 Update for doc-tools 0.18.1
Use new doc-tools-check-languages script and add configuration file for
it. Remove the now obsolete tools/test-languages.sh.

Adjust checkbuild target so that generated index pages can be reviewed
easily.

Change-Id: I28462fb19e5f999c298e7d8cc2cc7dda41f35929
2014-08-16 19:23:24 +02:00
..
2014-08-02 11:21:59 +02:00