Re-arrange Makefile and build-helper script

Maintainers should use build-helper script.
End users should use Makefile, which contains targets
that can be run on pure source (without git repository).
This commit is contained in:
Darko Poljak 2019-05-07 18:16:54 +02:00
commit 4f40c6ac65
7 changed files with 298 additions and 202 deletions

2
.gitattributes vendored
View file

@ -4,3 +4,5 @@
docs/speeches export-ignore
docs/video export-ignore
docs/src/man7 export-ignore
bin/build-helper export-ignore
README-maintainers export-ignore