diff options
| author | Tim-Philipp Müller <tim.muller@collabora.co.uk> | 2010-04-28 03:13:19 +0100 |
|---|---|---|
| committer | Tim-Philipp Müller <tim.muller@collabora.co.uk> | 2010-04-28 03:13:19 +0100 |
| commit | 5e35c45dd05ac14424964c32938f129b1aa3688f (patch) | |
| tree | ab8ec2e009852ffa9bb347261c59c9a9a2b8ab96 | |
| parent | ad0e4803495038d2b5eacca90fb9efe5f38553a3 (diff) | |
new-release: update and re-generate docs properly
| -rwxr-xr-x | bin/new-release | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/new-release b/bin/new-release index a06ee770..cf7255fc 100755 --- a/bin/new-release +++ b/bin/new-release @@ -217,6 +217,8 @@ then echo "Updating plugin documentation files" pushd $moduledir/docs/plugins > /dev/null 2>&1 make update + make clean + make popd fi |