diff options
author | Gerald Combs <gerald@wireshark.org> | 2016-03-17 17:19:18 -0700 |
---|---|---|
committer | Gerald Combs <gerald@wireshark.org> | 2016-03-18 23:26:51 +0000 |
commit | a1837263708cda91caec1691a469ad1415924a8e (patch) | |
tree | 80fb5b584d2ca5617eff13261140595d232d5548 /docbook/Makefile.common | |
parent | bf1c8b5617a1d5e679ba28f9203bc893e2c698a8 (diff) |
DocBook: Don't require xmllint.
Remove dependencies on xmllint. We don't write DocBook by hand any more
and we haven't used it in a long time in the CMake builds.
Change-Id: Ic07f03b00c4554c058eece0462b0925d565b6da1
Reviewed-on: https://code.wireshark.org/review/14506
Petri-Dish: Gerald Combs <gerald@wireshark.org>
Tested-by: Petri Dish Buildbot <buildbot-no-reply@wireshark.org>
Reviewed-by: Gerald Combs <gerald@wireshark.org>
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 \ |