blob: 32f6561b32a3b7dbeca6c8127eab71bfd99d0ab1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# This file is part of Proof General.
#
# © Copyright 2020 Hendrik Tews
#
# Authors: Hendrik Tews
# Maintainer: Hendrik Tews <hendrik@askra.de>
#
# License: GPL (GNU GENERAL PUBLIC LICENSE)
TOPTARGETS := test clean
SUBDIRS := $(wildcard [0-9][0-9][0-9]-*)
$(TOPTARGETS): $(SUBDIRS)
$(SUBDIRS):
$(MAKE) -C $@ $(MAKECMDGOALS)
.PHONY: $(TOPTARGETS) $(SUBDIRS)
.PHONY: TAGS
TAGS:
etags *.el */*.el
|
