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
