diff options
| author | Norbert Preining <preining@logic.at> | 2007-11-16 11:31:25 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2007-11-16 11:31:25 +0000 |
| commit | 9de8fd57702cc88758133fd14eba8c985e1654bf (patch) | |
| tree | cee23a6f7862a0aa5bbe787124f73e5d67e508ff /Master/texmf-dist/source/latex/svn/Makefile | |
| parent | 36e468865ab64e283898151fca03ea3e5586a766 (diff) | |
svn 1.3
git-svn-id: svn://tug.org/texlive/trunk@5463 c570f23f-e606-0410-a88d-b1316a301751
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 |