chiark / gitweb /
versions of dependencies
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 8 Mar 2019 01:56:42 +0000 (01:56 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 8 Mar 2019 01:56:42 +0000 (01:56 +0000)
Makefile

index 5f11ac3e027664c88df8932edc53dc66b5762bf0..e6dd3ccc72f575911d5d36fd010208544ff724d9 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,9 @@ USE_PLAG_DEBUG   := $(shell ./find-plag \
 USE_PLAG_RELEASE := $(shell ./find-plag \
  release:debug "$(PLAG_DIR)" "$(PLAG_RELEASE)" "$(PLAG_DEBUG)" "$(PLAG)")
 
-# works with plag-mangle 16446a44d3f1f467765879492fa85a01222f8052
+# with
+#  plag-mangle    a213b9ab92ec0f020f999f53c25c4996855e0349
+#  rc-dlist-deque 5147fecc626d2b00e3e9cef96baaf5e41a8d8220
 
 PS2PDF ?= ps2pdf
 PS2PDF_FLAGS ?=