|
Check-in Number:
|
5622 | |
| Date: |
2006-Jul-31 19:44:29 (local)
2006-Jul-31 17:44:29 (UTC) |
| User: | rse |
| Branch: | |
| Comment: |
Fix "devtool dist" command: "make man" does not exist. |
| Tickets: |
|
| Inspections: |
|
| Files: |
|
ossp-pkg/js/ChangeLog 1.23 -> 1.24
--- ChangeLog 2006/07/31 17:36:41 1.23
+++ ChangeLog 2006/07/31 17:44:29 1.24
@@ -13,6 +13,9 @@
Changes between 1.6.20060730 and 1.6.20060731 (2006-07-30 to 2006-07-31)
+ o Fix "devtool dist" command: "make man" does not exist.
+ [Ralf S. Engelschall <rse@engelschall.com>]
+
o Fix "make install": the executable "js" was not installed via GNU
libtool and this way under --enable-shared the wrapper script was
installed only.
|
|
ossp-pkg/js/devtool.conf 1.8 -> 1.9
--- devtool.conf 2006/07/30 08:10:01 1.8
+++ devtool.conf 2006/07/31 17:44:29 1.9
@@ -31,6 +31,8 @@
mv src/jsapi.c.n src/jsapi.c
%dist
+ echo "+++ dist cleaning"
+ make distclean
echo "+++ removing old tarballs"
rm -f js-*.tar.gz
echo "+++ generating"
@@ -46,7 +48,7 @@
echo "+++ re-configuring"
./configure
echo "+++ building"
- make all man
+ make
echo "+++ dist cleaning"
make distclean
echo "+++ fixing"
|
|
