diff options
Diffstat (limited to 'docbook/Makefile.common')
| -rw-r--r-- | docbook/Makefile.common | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docbook/Makefile.common b/docbook/Makefile.common index 228ac4cbca..8401657692 100644 --- a/docbook/Makefile.common +++ b/docbook/Makefile.common @@ -239,7 +239,6 @@ CLEANFILES = \ *.hhc \ *.hhp \ *.pdf \ - *.validated \ $(WSDG_GENERATED_SOURCE) \ $(WSUG_GENERATED_SOURCE) \ wsdg_chm \ |