Make pdf with links

keeplinks.sh

@@ -0,0 +1,6 @@
+#!/bin/sh
+sed -n '
+/%!/,/beginpage$/p
+/\[ \/Rect/,/pdfmark/p
+/^endpage/,/%%EOF/p
+'

makefile

@@ -1,11 +1,18 @@
 DOTFILES = $(basename $(wildcard *.dot))
 
-all: $(addsuffix .jpg, $(DOTFILES)) $(addsuffix .svg, $(DOTFILES))
+all: $(addsuffix .jpg, $(DOTFILES)) $(addsuffix .svg, $(DOTFILES)) $(addsuffix .pdf, $(DOTFILES))
 
 %.jpg: %.dot
 	dot "$<" -Tjpg -o "$@"
 
 %.svg: %.dot
 	dot "$<" -Tsvg -o "$@"
 
+%.pdf: %.dot
+	dot "$<" -Tpdf -o main.pdf -Tps2 -o main.ps2
+	sh keeplinks.sh < main.ps2 > link.ps2
+	ps2pdf link.ps2 link.pdf
+	cpdf -stamp-on link.pdf main.pdf -o $@
+	rm main.pdf main.ps2 link.ps2 link.pdf
+
 clean: rm *.jpg *.svg