diff options
-rw-r--r-- | Make.1.in (renamed from Make.8.in) | 2 | ||||
-rw-r--r-- | Makefile | 10 |
2 files changed, 7 insertions, 5 deletions
@@ -1,4 +1,4 @@ -.TH Make 8 "" "Make #VERSION#" "" +.TH Make 1 "" "Make #VERSION#" "" .SH NAME Make \- somewhat more powerfull alternative to make .SH SYNOPSIS @@ -25,10 +25,11 @@ MANDIR = /usr/share/man VERSION = 1.1.1 -all: Make Make.8 ewemake +all: Make Make.1 ewemake Make: Make.lp* *.pas - fpc Make.lpr + mkdir -p lib + fpc -FUlib Make.lpr %: %.in sed "s/#VERSION#/$(VERSION)/" $< > $@ @@ -37,7 +38,7 @@ Make: Make.lp* *.pas install: all install -D -m0755 -t $(DESTDIR)$(BINDIR) Make ewemake - install -D -m0644 -t $(DESTDIR)$(MANDIR)/man8 Make.8 + install -D -m0644 -t $(DESTDIR)$(MANDIR)/man1 Make.1 dist: clean git status --porcelain 2> /dev/null | grep -q "\S" && (git add .; git commit -m"neue Version: $(VERSION)") || true @@ -47,6 +48,7 @@ dist: clean git push --tags clean: - rm -f Make Make.8 ewemake *.ppu *.o + rm -f Make Make.1 ewemake + rm -rf lib # End of file |