diff options
Diffstat (limited to 'DOCS/xml/en/Makefile')
-rw-r--r-- | DOCS/xml/en/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/DOCS/xml/en/Makefile b/DOCS/xml/en/Makefile index fb5dee4c44..30aca265a9 100644 --- a/DOCS/xml/en/Makefile +++ b/DOCS/xml/en/Makefile @@ -8,3 +8,4 @@ USE_SYMLINKS = no # Dependency information. $(HTMLDIR)/index.html: $(wildcard *.xml) +$(HTMLFILE): $(wildcard *.xml) |