diff options
| author | William S Fulton <wsf@fultondesigns.co.uk> | 2008-12-09 21:33:19 +0000 |
|---|---|---|
| committer | William S Fulton <wsf@fultondesigns.co.uk> | 2008-12-09 21:33:19 +0000 |
| commit | 47a0b980674ef298fada7daeb1e4afbd4f825c87 (patch) | |
| tree | 158dd0b1e8c08ffde75da3dc74433a2c82f7cb96 /Tools | |
| parent | a883849b45a54429c5719d3fae52c08440c7fe97 (diff) | |
| download | swig-47a0b980674ef298fada7daeb1e4afbd4f825c87.tar.gz | |
refine Makefile targets for documentation generation and remove generated ccache documentation from svn
git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/trunk@10976 626c5289-ae23-0410-ae9c-e8d60b6d4f22
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/mkdist.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/mkdist.py b/Tools/mkdist.py index f5bdd01c7..b35a841e0 100755 --- a/Tools/mkdist.py +++ b/Tools/mkdist.py @@ -61,7 +61,7 @@ os.system("find "+dirname+" -name autom4te.cache -exec rm -rf {} \\;") # Build documentation print "Building documentation" -os.system("cd "+dirname+"/Doc/Manual && make && rm *.bak") == 0 or failed() +os.system("cd "+dirname+" && make docs") == 0 or failed() # Build the tar-ball os.system("tar -cf "+dirname+".tar "+dirname) == 0 or failed() |