From 698f2c9fec0182301ebfb64887dc4bc489cc2d57 Mon Sep 17 00:00:00 2001
From: Tim Landscheidt <tim@tim-landscheidt.de>
Date: Sun, 25 Dec 2016 12:45:09 +0000
Subject: [PATCH] Fix "make texvccheck" in top-level Makefile

As texvccheck is a directory, make always considered the target
texvccheck to be up-to-date, thus never invocating make in the
subdirectory itself.  This change marks texvccheck as a .PHONY target,
causing make to compile texvccheck in the subdirectory.

Change-Id: Ib758965c1eb53e1f7221e304fc808dc68136a219
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 004b752..adc3abf 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 DIRS = texvc texvccheck
 
-.PHONY: all
+.PHONY: all texvccheck
 
 all: texvc texvccheck