diff options
author | Gerald Combs <gerald@zing.org> | 2014-11-09 22:16:15 -0800 |
---|---|---|
committer | Gerald Combs <gerald@wireshark.org> | 2014-11-10 06:25:21 +0000 |
commit | 64b8759fbbdd3495ea7a7a70c7436a7f56227be1 (patch) | |
tree | 0d0e080c20b492865d6020407a209aebe9671985 /docbook/Makefile.common | |
parent | cd5b40296498100860ea5b1b6a16a71fd26cda3b (diff) |
Try to fix dist.
Change-Id: Ib4332bace88f9db7a06867861c40627e2bdc55f0
Reviewed-on: https://code.wireshark.org/review/5218
Reviewed-by: Gerald Combs <gerald@wireshark.org>
Diffstat (limited to 'docbook/Makefile.common')
-rw-r--r-- | docbook/Makefile.common | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/docbook/Makefile.common b/docbook/Makefile.common index 5980186100..1906cff541 100644 --- a/docbook/Makefile.common +++ b/docbook/Makefile.common @@ -195,8 +195,7 @@ COMMON_GRAPHICS = \ # user-guide.xml must be first in the list (to match $<) WSUG_DIST = \ - user-guide.xml \ - git_version.xml \ + user-guide.asciidoc \ GPL_appendix.asciidoc \ custom_layer_chm.xsl \ custom_layer_pdf.xsl \ @@ -205,7 +204,7 @@ WSUG_DIST = \ $(WSUG_GRAPHICS) \ $(COMMON_GRAPHICS) -WSUG_SOURCE = $(WSUG_DIST) $(WSUG_GENERATED_SOURCE) +WSUG_SOURCE = $(WSUG_GENERATED_SOURCE) $(WSUG_DIST) # developer-guide.asciidoc must be first in the list (to match $<) WSDG_DIST = \ |