diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/svn/Makefile')
-rw-r--r-- | Master/texmf-dist/source/latex/svn/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Master/texmf-dist/source/latex/svn/Makefile b/Master/texmf-dist/source/latex/svn/Makefile index 5b31a57232b..f1cbc7166b2 100644 --- a/Master/texmf-dist/source/latex/svn/Makefile +++ b/Master/texmf-dist/source/latex/svn/Makefile @@ -1,4 +1,4 @@ -#$Id$ +#$Id: Makefile 45 2007-09-25 19:20:36Z repos $ #Makefile for the svn distribution #Most Useful Options are as follows: @@ -21,7 +21,7 @@ PDFLATEX=pdflatex MAKEINDEX=makeindex #before running $(MAKEINDEX) we first need to run $(MAKEIDX) on the .dtx -#to generate the .idx $(MAKEIDX) is $(LATEX) or $(PDFLATEX), depending on +#to generate the .idx file. $(MAKEIDX) is $(LATEX) or $(PDFLATEX), depending on #whether we want a .dvi/.ps or .pdf at the end. #the default is to make dvi MAKEIDX=$(LATEX) @@ -61,8 +61,8 @@ alldocs: dvi pdf ps clean clean-dotfiles: @echo "Deleting unnecessary (pdf)(la)TeX temp files" - -rm svn.{aux,idx,ilg,ind,log} + rm -f svn.aux svn.idx svn.ilg svn.ind svn.log distclean: clean-dotfiles @echo "Deleting svn.{sty,ps,pdf,dvi}" - -rm svn.{sty,dvi,ps,pdf}
\ No newline at end of file + rm -f svn.sty svn.dvi svn.ps svn.pdf |