From cbae7ebbf52a0e0857be4b0017674bbf8b26e86f Mon Sep 17 00:00:00 2001
From: Shlomi Fish <shlomif@shlomifish.org>
Date: Fri, 16 Aug 2019 15:29:09 +0300
Subject: [PATCH] gnumakefile cleanup.

---
 Makefile | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 1cb7e1d2..868c102a 100644
--- a/Makefile
+++ b/Makefile
@@ -21,8 +21,13 @@ dist: all_games_html rules mo
 rpm: all_games_html rules mo
 	python3 setup.py bdist_rpm
 
-all_games_html: rules
-	cd data/html && $(CURDIR)/scripts/all_games.py html id rules > all_games.html
+HTML_DIR = data/html
+ALL_GAMES_HTML_BASE = all_games.html
+ALL_GAMES_HTML = $(HTML_DIR)/$(ALL_GAMES_HTML_BASE)
+all_games_html: $(ALL_GAMES_HTML)
+
+$(ALL_GAMES_HTML): rules
+	cd $(HTML_DIR) && $(CURDIR)/scripts/all_games.py html id rules > $(ALL_GAMES_HTML_BASE)
 
 rules:
 	cd html-src && ./gen-html.py