Skip to content

Commit 6145621

Browse files
committed
makedist: warn user to run make neddoc if not already done
1 parent 786cbee commit 6145621

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

releng/makedist

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,8 @@ git checkout-index -a -f --prefix=$SIMU5G_ROOT/out/$DIRNAME/ || { echo --- error
2828

2929
echo "simu5g-$BUILDID" > $SIMU5G_ROOT/out/$DIRNAME/Version_build
3030

31+
echo 'ATTENTION! doc/neddoc/ must contain freshly generated content, type "make neddoc" and re-run "makedist" if it does not'
32+
3133
echo Creating $FILENAME_DOC.
3234
# switch to doc dir
3335
cd $SIMU5G_ROOT/doc

0 commit comments

Comments
 (0)