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 /.gitignore | |
| 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 '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index b7875b896f..4b1af39b51 100644 --- a/.gitignore +++ b/.gitignore @@ -169,10 +169,8 @@ docbook/ws?g_html_chunked/ docbook/ws?g_chm/ docbook/release-notes-*.pdf docbook/release-notes.txt -docbook/wsdg.validated docbook/wsluarm docbook/wsluarm_src/ -docbook/wsug.validated wsar_html/ wsar_html.zip |