Skip to content

Commit

Permalink
build: fix missing pdf documentation + removed unnecessary files
Browse files Browse the repository at this point in the history
  • Loading branch information
rhornig committed Jan 28, 2019
1 parent 3fb8626 commit 810053f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions _scripts/makedist
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ echo "inet-$BUILDID" > $INET_ROOT/out/$DIRNAME/Version
#cp -r doc/neddoc $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}
#cp -r doc/index.html $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}
(cd doc/src && make)
cp -r doc/inet-*.pdf $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}
cp -r doc/src/_build/latex/*.pdf $INET_ROOT/out/$DIRNAME/doc || { echo --- error copying generated docs ---; exit 1;}

# switch to the destination dir
cd $INET_ROOT/out/$DIRNAME
Expand All @@ -49,7 +49,7 @@ perl -i -pe $REGEXPREPLACE s/##BUILDID##/$BUILDID/g doc/neddoc/overview.html
perl -i -pe $REGEXPREPLACE s/##BUILDID##/$BUILDID/g src/inet-index.ned

# cleanup
rm -rf _scripts obsolete doc/src
rm -rf _scripts doc/src .gitattributes .gitignore .gitmodules .circleci .travis.yml .oppfeaturestate

todofiles=`find . -name '__*'`
if [ "$todofiles" != "" ]; then
Expand Down

0 comments on commit 810053f

Please sign in to comment.