bashref.pdf does not contain pdf bookmarks or hyperlinks

[Siep Kroonenberg]

Configuration Information [Automatically generated, do not change]:
Machine: x86_64
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS:  -DPROGRAM='bash' -DCONF_HOSTTYPE='x86_64' 
-DCONF_OSTYPE='linux-gnu' -DCONF_MACHTYPE='x86_64-pc-linux-gnu' 
-DCONF_VENDOR='pc' -DLOCALEDIR='/usr/share/locale' -DPACKAGE='bash' -DSHELL 
-DHAVE_CONFIG_H   -I.  -I../. -I.././include -I.././lib  -D_FORTIFY_SOURCE=2 -g 
-O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat 
-Werror=format-security -Wall
uname output: Linux bitmuis 3.13.0-36-generic #63-Ubuntu SMP Wed Sep 3 21:30:07 
UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
Machine Type: x86_64-pc-linux-gnu

Bash Version: 4.3
Patch Level: 11
Release Status: release

Description:
        bashref.pdf does not contain pdf bookmarks or hyperlinks.

Repeat-By:
        Open the file in any pdf viewer which supports bookmarks, and
        fail to see the expected bookmarks.

Fix:
        Patch (also included separately):

169a170,172
> bashref.pdf: $(BASHREF_FILES) $(HSUSER) $(RLUSER)
> ${SET_TEXINPUTS} $(TEXI2DVI) -p $(srcdir)/bashref.texi || { ${RM}
$@ ; exit 1; }
> 
196c199
< bashref.pdf: bashref.dvi
---
> bashref.pdf: bashref.texi


-- 
Siep Kroonenberg

Makefile.in.diff.gz
Description: Binary data