Fix double-gen of manpages.

diff --git a/packaging/nightly-rsync b/packaging/nightly-rsync
index 3ec55190a18813c13845661a2d7f7ce28b7cd095..021a2c589d0a121944146262c10977224fb644b7 100755 (executable)
--- a/packaging/nightly-rsync
+++ b/packaging/nightly-rsync
@@ -41,6 +41,7 @@ def main():
         check_git_state('master')
         cmd_chk(['touch', 'latest-year.h'])
         cmd_chk(['make', gen_target])
+        cmd_chk(['rsync', '-a', *glob.glob('*.[1-9].html'), dest])
 
         extra_files = get_extra_files()
 
@@ -74,14 +75,6 @@ def main():
             os.unlink(nightly_symlink)
         os.symlink(tar_name, nightly_symlink)
 
-    for fn in sorted(glob.glob('*.[1-9].md')):
-        cmd_chk(['./md2man', fn])
-
-        html_src = fn.replace('.md', '.html')
-        html_dest = os.path.join(dest, html_src)
-
-        cmd_chk(['rsync', '-a', html_src, html_dest])
-
     os.chdir(dest)
 
     tar_files = list(reversed(sorted(glob.glob('rsync-HEAD-*'))))