Skip to content

Commit b673687

Browse files
committed
productizing: Version file included / removed documentation
1 parent c551751 commit b673687

1 file changed

Lines changed: 6 additions & 6 deletions

File tree

_scripts/makedist

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -29,8 +29,6 @@ if [ "$BUILDID" = "" ]; then
2929
export BUILDID="$VERSION-$BUILDHASH"
3030
fi
3131

32-
echo "inet-$BUILDID" > Version
33-
3432
FILENAME=$INET_ROOT/inet-$BUILDID-src.tgz
3533
DIRNAME=inet
3634

@@ -39,11 +37,13 @@ mkdir -p $INET_ROOT/out/$DIRNAME
3937

4038
git checkout-index -a -f --prefix=$INET_ROOT/out/$DIRNAME/ || { echo --- error copying repo ---; exit 1;}
4139

40+
echo "inet-$BUILDID" > $INET_ROOT/out/$DIRNAME/Version
41+
4242
# copying documentation
43-
cp -r doc/doxy $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}
44-
cp -r doc/neddoc $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}
45-
cp -r doc/index.html $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}
46-
cp -r doc/inet-manual*.pdf $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}
43+
#cp -r doc/doxy $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}
44+
#cp -r doc/neddoc $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}
45+
#cp -r doc/index.html $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}
46+
#cp -r doc/inet-manual*.pdf $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}
4747

4848
# switch to the destination dir
4949
cd $INET_ROOT/out/$DIRNAME

0 commit comments

Comments
 (0)