diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/gettingstarted/developers/index.rst | 1 | ||||
| l--------- | docs/gettingstarted/developers/punt.rst | 1 | ||||
| -rwxr-xr-x | docs/scripts/prepare-for-site.sh | 18 |
3 files changed, 20 insertions, 0 deletions
diff --git a/docs/gettingstarted/developers/index.rst b/docs/gettingstarted/developers/index.rst index 4f2c38d130a..fe265786e24 100644 --- a/docs/gettingstarted/developers/index.rst +++ b/docs/gettingstarted/developers/index.rst @@ -38,3 +38,4 @@ The Developers section covers the following areas: eventviewer fib20/index.rst buildwireshark + punt diff --git a/docs/gettingstarted/developers/punt.rst b/docs/gettingstarted/developers/punt.rst new file mode 120000 index 00000000000..0a56632f671 --- /dev/null +++ b/docs/gettingstarted/developers/punt.rst @@ -0,0 +1 @@ +../../../src/vnet/ip/punt.rst
\ No newline at end of file diff --git a/docs/scripts/prepare-for-site.sh b/docs/scripts/prepare-for-site.sh new file mode 100755 index 00000000000..15888ba6e83 --- /dev/null +++ b/docs/scripts/prepare-for-site.sh @@ -0,0 +1,18 @@ +#!/bin/bash + +if [ ! -d "docs" ]; then + echo "This script is meant to be run from the root directory" + exit 1; +fi + +for f in $(find ./docs -type l) +do + target=$(readlink $f) + rm $f + cp $(dirname $f)/$target $(dirname $f)/$(basename $target) + echo "Replaced symlink $f" +done + +echo "Cleaning doc build directory" +make docs-clean + |