do not embed timestamps in .gz files
using gzip -n to produce bit-identical results and -9 to compress a bit better
This commit is contained in:
parent
55d1d1020d
commit
78991c4820
|
@ -77,7 +77,7 @@ kak$(suffix) : $(objects)
|
||||||
# Generate the man page
|
# Generate the man page
|
||||||
../doc/kak.1.gz: ../doc/kak.1.txt
|
../doc/kak.1.gz: ../doc/kak.1.txt
|
||||||
a2x --no-xmllint -f manpage $<
|
a2x --no-xmllint -f manpage $<
|
||||||
gzip -f $(basename $<)
|
gzip -n -9 -f $(basename $<)
|
||||||
|
|
||||||
# Generate the editor's documentation pages
|
# Generate the editor's documentation pages
|
||||||
# Since `a2x` won't generate man pages if some sections are missing (which we don't need),
|
# Since `a2x` won't generate man pages if some sections are missing (which we don't need),
|
||||||
|
@ -86,7 +86,7 @@ kak$(suffix) : $(objects)
|
||||||
a2x --no-xmllint -f manpage $<
|
a2x --no-xmllint -f manpage $<
|
||||||
sed -i -r -e "s,^\.TH .+,.TH KAKOUNE 1 \"\" \"\" \"$(basename $(notdir $<))\"," \
|
sed -i -r -e "s,^\.TH .+,.TH KAKOUNE 1 \"\" \"\" \"$(basename $(notdir $<))\"," \
|
||||||
-e "/^\.SH \"NAME\"/{N;d;}" $(@:.gz=.1)
|
-e "/^\.SH \"NAME\"/{N;d;}" $(@:.gz=.1)
|
||||||
gzip -f $(@:.gz=.1)
|
gzip -n -9 -f $(@:.gz=.1)
|
||||||
mv -f $(@:.gz=.1.gz) $@
|
mv -f $(@:.gz=.1.gz) $@
|
||||||
|
|
||||||
check: test
|
check: test
|
||||||
|
|
Loading…
Reference in New Issue
Block a user