From b742ccf1972506bb5c3b261b75ce0977512527e6 2016-06-17 17:58:51
From: Matthias Bussonnier <bussonniermatthias@gmail.com>
Date: 2016-06-17 17:58:51
Subject: [PATCH] Merge pull request #9633 from takluyver/make-autoconfig-fix

Fix Makefile for generating config docs
---

diff --git a/docs/Makefile b/docs/Makefile
index b804b51..5f05864 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -76,7 +76,7 @@ source/interactive/magics-generated.txt: autogen_magics.py
 
 autoconfig: source/config/options/config-generated.txt
 
-source/config/options/generated:
+source/config/options/config-generated.txt:
 	$(PYTHON) autogen_config.py
 	@echo "Created docs for config options"