diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 49379c4c69..82eb35167a 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -1,7 +1,7 @@ # Makefile for generating the HTML documentation # List of subdirectories to be processed. -SUBDIRS = en es fr hu pl ru +SUBDIRS = en es fr hu pl ru cs # Generated chunked HTML files go here. HTML_CHUNKED = ../HTML