diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index b26aff01c6..bf78324b14 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 cs +SUBDIRS = en es fr hu pl cs ru # Generated chunked HTML files go here. HTML_CHUNKED = ../HTML