diff options
| author | Jimmy Thrasher <jimmy@jimmythrasher.com> | 2016-02-11 08:50:33 -0500 |
|---|---|---|
| committer | Jimmy Thrasher <jimmy@jimmythrasher.com> | 2016-02-11 08:50:33 -0500 |
| commit | 311d7852a6dbf9ef5706ffbd54ec6b4bc5246b59 (patch) | |
| tree | 84937dbbb86aa08ed2ea19a1ba03b76c78b93e3c /src | |
| parent | 4c355488aa4876aeee63a5c983405379dafc716a (diff) | |
Convert GNU sed extension into more general expression to work with BSD/OSX
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index f27d927d..238cdba1 100644 --- a/src/Makefile +++ b/src/Makefile @@ -81,7 +81,7 @@ kak : $(objects) ../doc/manpages/%.gz: ../doc/manpages/%.asciidoc $(A2X) --no-xmllint -f manpage $< sed -i -r -e "s,^\.TH .+,.TH KAKOUNE 1 \"\" \"\" \"$(basename $(notdir $<))\"," \ - -e "/^\.SH \"NAME\"/,+1d" $(@:.gz=.1) + -e "/^\.SH \"NAME\"/{N;d;}" $(@:.gz=.1) gzip -f $(@:.gz=.1) mv $(@:.gz=.1.gz) $@ |