From 0dc8f3cb04aa4dccf949353e06f26d7792955444 Mon Sep 17 00:00:00 2001 From: Julius Volz Date: Thu, 7 May 2015 11:59:06 +0200 Subject: [PATCH] Remove obsolete "rules" target from main Makefile. --- Makefile | 3 --- 1 file changed, 3 deletions(-) diff --git a/Makefile b/Makefile index 5588e87fd..23eedbf35 100644 --- a/Makefile +++ b/Makefile @@ -100,7 +100,4 @@ tools: dependencies web: dependencies $(MAKE) -C web -rules: dependencies - $(MAKE) -C rules - .PHONY: advice binary build clean config dependencies documentation format race_condition_binary race_condition_run release run search_index tag tarball test tools