ports/editors/mined/files/patch-makefile
2015-03-30 20:40:13 +00:00

11 lines
359 B
Text

--- makefile.orig 2015-03-23 23:00:00 UTC
+++ makefile
@@ -30,7 +30,7 @@ clean:
sh ./makemined clean
manual:
- cd man; make
+ cd man && $(MAKE)
VER=$(shell sed -e 's,^[^0-9]*,,' -e 's,[^0-9][^0-9]*,.,g' -e q VERSION )
UNIVER=$(shell sed -e '/^\# Blocks-/ b ver' -e d -e ': ver' -e 's,^[^0-9]*\([0-9].*[0-9]\).*,\1,g' -e 's,\.0$$,,' src/Blocks.txt )