We moved generate-plugin-documentation again

This commit is contained in:
James Vega 2004-12-17 07:19:21 +00:00
parent dcfe723b74
commit 112db0756d

View File

@ -75,7 +75,7 @@ if __name__ == '__main__':
'INTERFACES', 'OVERVIEW', 'PLUGIN-EXAMPLE', 'INTERFACES', 'OVERVIEW', 'PLUGIN-EXAMPLE',
'plugins', 'plugins.html', 'STYLE'), 'plugins', 'plugins.html', 'STYLE'),
} }
system('python sandbox/generate-plugin-documentation.py') system('python tools/generate-plugin-documentation.py')
pwd = os.getcwd() pwd = os.getcwd()
os.chmod('docs/plugins', 0775) os.chmod('docs/plugins', 0775)
sh = 'tar rf %s/docs.tar %%s' % pwd sh = 'tar rf %s/docs.tar %%s' % pwd