[Top][All Lists]

[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 
DATE    := $(shell date +%d-%B-%Y)
MONTH   := $(shell date +%B-%Y)

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

  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:

Trying the instructions at:

did not generate a make.pdf with bookmarks.


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

reply via email to

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