28 lines
		
	
	
		
			777 B
		
	
	
	
		
			Makefile
		
	
	
	
	
	
			
		
		
	
	
			28 lines
		
	
	
		
			777 B
		
	
	
	
		
			Makefile
		
	
	
	
	
	
| LATEX_CMD?=pdflatex
 | |
| MKIDX_CMD?=makeindex
 | |
| BIBTEX_CMD?=bibtex
 | |
| LATEX_COUNT?=8
 | |
| MANUAL_FILE?=refman
 | |
| 
 | |
| all: $(MANUAL_FILE).pdf
 | |
| 
 | |
| pdf: $(MANUAL_FILE).pdf
 | |
| 
 | |
| $(MANUAL_FILE).pdf: clean $(MANUAL_FILE).tex
 | |
| 	$(LATEX_CMD) $(MANUAL_FILE)
 | |
| 	$(MKIDX_CMD) $(MANUAL_FILE).idx
 | |
| 	$(LATEX_CMD) $(MANUAL_FILE)
 | |
| 	latex_count=$(LATEX_COUNT) ; \
 | |
| 	while grep -E -s 'Rerun (LaTeX|to get cross-references right|to get bibliographical references right)' $(MANUAL_FILE).log && [ $$latex_count -gt 0 ] ;\
 | |
| 	    do \
 | |
| 	      echo "Rerunning latex...." ;\
 | |
| 	      $(LATEX_CMD) $(MANUAL_FILE) ;\
 | |
| 	      latex_count=`expr $$latex_count - 1` ;\
 | |
| 	    done
 | |
| 	$(MKIDX_CMD) $(MANUAL_FILE).idx
 | |
| 	$(LATEX_CMD) $(MANUAL_FILE)
 | |
| 
 | |
| 
 | |
| clean:
 | |
| 	rm -f *.ps *.dvi *.aux *.toc *.idx *.ind *.ilg *.log *.out *.brf *.blg *.bbl $(MANUAL_FILE).pdf
 | 
