From 64b8759fbbdd3495ea7a7a70c7436a7f56227be1 Mon Sep 17 00:00:00 2001 From: Gerald Combs Date: Sun, 9 Nov 2014 22:16:15 -0800 Subject: [PATCH] Try to fix dist. Change-Id: Ib4332bace88f9db7a06867861c40627e2bdc55f0 Reviewed-on: https://code.wireshark.org/review/5218 Reviewed-by: Gerald Combs --- docbook/Makefile.common | 5 ++--- 1 file 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 = \