commit bf3d0faad209b5f305b458d7fbea638e964a1929 parent 754767813bb26d7b8e799d6c8f060377469582af Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz> Date: Fri, 2 Feb 2024 12:46:22 -0500 Makefile: Restore PHONY. We do want to avoid problems with spurious filenames. Diffstat:
| M | doc/r7rs-small/Makefile | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/doc/r7rs-small/Makefile b/doc/r7rs-small/Makefile @@ -1,3 +1,5 @@ +.PHONY: all clean + MAKEINFO = makeinfo MAKEINFOFLAGS = --no-split