Contributors' Guide: fix broken link to PDF

(cherry picked from commit 685fa73327753321089e52c7629e29c2699523c0)

diff --git a/Documentation/devel/GNUmakefile b/Documentation/devel/GNUmakefile
index dff3a9cb92056f6cdaf6fc689f7631135a8c0072..640afbac98841d964012c6373160e8c9ca4a00d0 100644 (file)
--- a/Documentation/devel/GNUmakefile
+++ b/Documentation/devel/GNUmakefile
@@ -15,11 +15,21 @@ MASTER_TEXI_FILES = contrib-guide.texi
 PDF_FILES = $(MASTER_TEXI_FILES:%.texi=$(outdir)/%.pdf)
 HTML_FILES = $(MASTER_TEXI_FILES:%.texi=$(outdir)/%/index.html) \
   $(MASTER_TEXI_FILES:%.texi=$(outdir)/%-big-page.html)
+source-links = $(outdir)/source $(MASTER_TEXI_FILES:%.texi=$(outdir)/%/source)
 
 default: local-doc
 
+$(outdir)/source:
+       @rm -f $(@)
+       ln -sf $(depth) $(@)
+
+$(outdir)/%/source:
+       @rm -f $(@)
+       mkdir -p $(dir $@)
+       ln -sf $(depth)/.. $(@)
+
 local-WWW-1: $(PDF_FILES)
 
-local-WWW-2: $(HTML_FILES) $(OUT_HTML_FILES)
+local-WWW-2: $(HTML_FILES) $(OUT_HTML_FILES) $(source-links)
 
 $(PDF_FILES) $(HTML_FILES): $(ITEXI_FILES)