Michael Stahl c05b9d3e2c odk: use SHORT_NAMES on Windows ... Unfortnately the MSI stuff complains that lines in ddf files are too long, so we need to use SHORT_NAMES. But use it only on Windows because the file names are mostly just numbers then and totally unpredictable; the documentation for the website must not be built on Windows. Change-Id: I5d7d917bf34c55424259cf04bb13cb8c26fe409b		2013-06-04 12:01:10 +02:00
..
copying
gendocu	odk: use SHORT_NAMES on Windows	2013-06-04 12:01:10 +02:00