2012-09-17 19:43:24 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								$pdflatex = "xelatex -shell-escape";
							 | 
						
					
						
							
								
									
										
										
										
											2012-09-05 20:01:37 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								$pdf_mode = "1";
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								push @generated_exts, 'glo', 'gls', 'glg';
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								push @generated_exts, 'acn', 'acr', 'alg';
							 | 
						
					
						
							
								
									
										
										
										
											2012-09-23 18:43:01 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								$clean_ext .= ' %R.bbl %R-blx.bib %R.ist %R.nav %R.run.xml %R.snm %R.xdy %R.pyg';
							 | 
						
					
						
							
								
									
										
										
										
											2012-09-05 20:01:37 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								add_cus_dep( 'glo', 'gls', 0, 'makeglossaries' );
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								sub makeglossaries {
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    system( "makeglossaries \"$_[0]\"" );
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								}
							 |