From a371875fd9cba0593aa0de73c4e365acd022c2ae Mon Sep 17 00:00:00 2001
From: Jan Moringen <jmoringe@techfak.uni-bielefeld.de>
Date: Mon, 12 Aug 2019 20:45:32 +0200
Subject: [PATCH] manual: Fix Makefile rule for variables.texinfo

---
 doc/manual/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual/Makefile b/doc/manual/Makefile
index 58e54deb7..98c2dce2b 100644
--- a/doc/manual/Makefile
+++ b/doc/manual/Makefile
@@ -87,7 +87,7 @@ info: $(INFOFILES)
 	$(MAKEINFO) $(I_FLAGS) $<
 
 # Texinfo docstring snippets
-docstrings: tempfiles-stamp
+docstrings variables.texinfo: tempfiles-stamp
 	sh make-tempfiles.sh "$(SBCL_SYSTEM)" "$(DOCSTRINGDIR)" && touch $(DOCSTRINGDIR)
 
 tempfiles-stamp: