diff options
| author | Jan Holesovsky <kendy@suse.cz> | 2010-11-08 22:47:35 +0100 |
|---|---|---|
| committer | Jan Holesovsky <kendy@suse.cz> | 2010-11-08 22:47:35 +0100 |
| commit | 588fcbf2e6db68199235afcc6951588ffcd487c4 (patch) | |
| tree | c9da8224c152329ac49e62f7775c6312844b3be0 /helpcontent2/help-to-wiki.py | |
| parent | b9dbeaf27ea4d8b61fcca464ab9459f2283212d2 (diff) | |
Show the phases of the wiki generation.
But still be quite silent about the operation ;-)
Diffstat (limited to 'helpcontent2/help-to-wiki.py')
| -rwxr-xr-x | helpcontent2/help-to-wiki.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/helpcontent2/help-to-wiki.py b/helpcontent2/help-to-wiki.py index 5ed0e6c1c7..a0e45a61b1 100755 --- a/helpcontent2/help-to-wiki.py +++ b/helpcontent2/help-to-wiki.py @@ -32,5 +32,8 @@ def create_wiki_dirs(): # do the work create_wiki_dirs() +print "Generating the titles..." os.system( "python to-wiki/getalltitles.py source/text > alltitles.csv" ) + +print "Generating the wiki itself..." os.system( "python to-wiki/convall.py source/text" ) |