patch-doc-makefile.diff
| doc/Makefile 2017-07-11 13:23:01.000000000 +0200 | ||
|---|---|---|
| 95 | 95 |
%.tgz: %.d |
| 96 | 96 |
find $< -type d -exec chmod 0755 '{}' \;
|
| 97 | 97 |
find $< -type f -exec chmod 0644 '{}' \;
|
| 98 |
tar cn -C $< $(TAR_REPRODUCIBLE_ARGS) -O . | gzip $(GZIP_REPRODUCIBLE_ARGS) -c > $@
|
|
| 98 |
tar -c -C $< $(TAR_REPRODUCIBLE_ARGS) . | gzip $(GZIP_REPRODUCIBLE_ARGS) -c > $@
|
|
| 99 | 99 | |
| 100 | 100 |
check: FORCE |
| 101 | 101 |
./check_xml |