Commit df29bbe21f0f5c16d4a6daea5d724d2d088ecb02

Authored by Antonio Terceiro
1 parent 840fee00

pdfupload: push only the tag that was just created

Showing 1 changed file with 1 additions and 1 deletions   Show diff stats
tasks/doc.rake
... ... @@ -23,7 +23,7 @@ task :pdfupload => :pdf do
23 23 commit = `git commit-tree -m #{tag} #{tree}`.strip
24 24  
25 25 sh 'git', 'tag', tag, commit
26   - sh 'git', 'push'
  26 + sh 'git', 'push', 'origin', tag
27 27 end
28 28  
29 29 desc 'Removes generated files'
... ...