bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Bookmarks in make.pdf


From: Gisle Vanem
Subject: Bookmarks in make.pdf
Date: Mon, 14 Sep 2020 13:07:51 +0200
User-agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0

Some time ago I used this rather simple Makefile
to create a make.pdf containing a bookmark section
on the left side of my PDF-reader:

VERSION := $(shell grep AC_INIT ../configure.ac | cut -d']' -f2 | sed -e 
's/,\[//g')
DATE    := $(shell date +%d-%B-%Y)
MONTH   := $(shell date +%B-%Y)

make.pdf: gen_version make.texi
  perl /bin/texi2dvi --pdf --output=$@ make.texi

gen_version:
  echo -en '@set VERSION $(VERSION)\n'  \
           '@set UPDATED $(DATE)\n'     \
           '@set UPDATED-MONTH $(MONTH)\n' > version.texi
  echo '' > make-stds.texi
  echo '' > fdl.texi
----------

'texi2dvi' is a Cygwin perl-script that spawns my
MiKTeX pdfTeX (v.1.40.21).

Using the same Makefile now, this no longer produces the
nice bookmarks. Something seems to have changes in the .texi
files (?) to cause this. AFAICS, the '@menu' should do this, no?

How are we supposed to generate a make.pdf that should look
like the attachment? Or here:
   http://www.watt-32.net/misc/gnu-make-pdf.png

Trying the instructions at:
   https://www.gnu.org/software/texinfo/manual/texinfo/html_node/PDF-Output.html

did not generate a make.pdf with bookmarks.

--
--gv

Attachment: gnu-make-pdf.png
Description: PNG image


reply via email to

[Prev in Thread] Current Thread [Next in Thread]