Andreas Jaeger bd539fc715 Fix Install Guide builds ... Fix building of Debian RST Install Guide, it has a different index file that needs to be renamed. Cleanup after builds and remove temporary produced files and changes to checked-in po and pot files. Update RELEASE_NOTES, include entry for another change. Change-Id: I1de8a70d7d4b483e023411b8949f77b093b72b11		2015-08-26 09:41:11 +02:00
..
doc-tools-check-languages	Fix Install Guide builds	2015-08-26 09:41:11 +02:00
doc-tools-check-languages.conf	Handle RST languages and drafts	2015-04-23 07:20:29 +02:00
doc-tools-update-cli-reference	Use python2.7 for doc-tools-update-cli-reference	2015-06-15 16:15:53 +02:00