chiark / gitweb /
Makefile: fixes for pdf/eps generation
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 7 Nov 2021 01:08:20 +0000 (01:08 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 7 Nov 2021 01:08:20 +0000 (01:08 +0000)
commita269e66bbaefbb01d38aa773a9b01f0d3e256708
treebc637b383b0d4e67f8142551b0c3907eccef7894
parente7eff4d2e228d2077cf5d9840673ec96a51e7131
Makefile: fixes for pdf/eps generation

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile