Rename PDF manual files after they are built

EduMIPS64 · Jun 1, 2013 · badc04a · badc04a
1 parent f338637
commit badc04a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/build.xml b/build.xml
@@ -107,12 +107,14 @@
         <exec executable="make" failonerror="true" dir="${docs_src_it}">
             <arg line="latexpdf"/>
         </exec>
+        <copy file="docs/it/output/latex/EduMIPS64.pdf" tofile="edumips64-${version}-manual-it.pdf"/>
     </target>
 
     <target name="pdf_en" depends="init">
         <exec executable="make" failonerror="true" dir="${docs_src_en}">
             <arg line="latexpdf"/>
         </exec>
+        <copy file="docs/en/output/latex/EduMIPS64.pdf" tofile="edumips64-${version}-manual-en.pdf"/>
     </target>
 
     <!-- *** test *** run unit tests-->