documentation/Makefile
changeset 1289 5b82b6b39c2d
parent 1202 91d190223daa
child 1306 a27c839d043b
child 1669 9edbe472941d
equal deleted inserted replaced
1288:bf0d42ca5aec 1289:5b82b6b39c2d
    49 index:
    49 index:
    50 	makeindex $(FILE)
    50 	makeindex $(FILE)
    51 	makeindex $(FILE).glo -s nomencl.ist -o $(FILE).gls
    51 	makeindex $(FILE).glo -s nomencl.ist -o $(FILE).gls
    52 
    52 
    53 clean:
    53 clean:
    54 	@rm -f $(FILE).aux $(FILE).dvi $(FILE).idx \
    54 	@rm -f \
    55 		$(FILE).ilg $(FILE).ind $(FILE).log \
    55 		$(FILE).aux \
    56 		$(FILE).out $(FILE).pdf $(FILE).ps \
    56 		$(FILE).dvi \
    57 		$(FILE).toc $(FILE).lot $(FILE).lof \
    57 		$(FILE).glo \
    58 		$(FILE).lol $(FILE).glo $(FILE).gls \
    58 		$(FILE).gls \
    59 		images/*.bak *~
    59 		$(FILE).idx \
       
    60 		$(FILE).ilg \
       
    61 		$(FILE).ind \
       
    62 		$(FILE).lof \
       
    63 		$(FILE).log \
       
    64 		$(FILE).lol \
       
    65 		$(FILE).lot \
       
    66 		$(FILE).nlo \
       
    67 		$(FILE).out \
       
    68 		$(FILE).pdf \
       
    69 		$(FILE).toc \
       
    70 		*~ \
       
    71 		images/*.bak
    60 
    72 
    61 #------------------------------------------------------------------------------
    73 #------------------------------------------------------------------------------