Removed unneccessary MAkefile

This commit is contained in:
Kevin Veen-Birkenbach 2025-04-01 21:19:05 +02:00
parent 663e5604fd
commit 080b46329e
No known key found for this signature in database
GPG Key ID: 44D8F11FD62F878E

View File

@ -1,12 +0,0 @@
.PHONY: install deinstall refresh
install:
$(MAKE) -C docs html $(MAKEFLAGS)
$(MAKE) -C docs install $(MAKEFLAGS)
deinstall:
$(MAKE) -C docs clean $(MAKEFLAGS)
refresh:
$(MAKE) -C docs clean $(MAKEFLAGS)
$(MAKE) -C docs html $(MAKEFLAGS)