diff options
| author | Thomas Roessler <roessler@does-not-exist.org> | 2000-06-20 17:37:14 +0000 |
|---|---|---|
| committer | Thomas Roessler <roessler@does-not-exist.org> | 2000-06-20 17:37:14 +0000 |
| commit | 77613b1469736343660e0f70955c5a54a62bd777 (patch) | |
| tree | 8359a9796dc9371755f5150adedaa990025ebf0d /build-release | |
| parent | 91463210e8bedf03e10fd6a323a76210943ad615 (diff) | |
Add a "make" call, so build-release will also work from a source
tree which hasn't been built recently.
Diffstat (limited to 'build-release')
| -rwxr-xr-x | build-release | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build-release b/build-release index 2f1ee26a..52386296 100755 --- a/build-release +++ b/build-release @@ -46,6 +46,7 @@ touch configure.in make config.status ./config.status make update-doc +make # build them |