From e4c4247266c706c15bd68c63e22f6e0b862f9552 Mon Sep 17 00:00:00 2001 From: Cary R Date: Thu, 7 May 2026 19:40:23 -0700 Subject: [PATCH] Fix the full PDF document name --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 504961169..751334d6a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -267,7 +267,7 @@ iverilog_man.ps: driver/iverilog.man vvp/vvp.man driver-vpi/iverilog-vpi.man iverilog_man.pdf: iverilog_man.ps $(PS2PDF) $< $@ - cp $@ iverilog-vpi.man_$(VERSION_MAJOR)_$(VERSION_MINOR).pdf + cp $@ iverilog_man_$(VERSION_MAJOR)_$(VERSION_MINOR).pdf # For VERSION_TAG in driver/main.c, first try git-describe, then look for a # release_tag.h file in the source tree (included in snapshots and releases),