removed manual from release

[palacios.git] / manual / Makefile

diff --git a/manual/Makefile b/manual/Makefile
deleted file mode 100755 (executable)
index 27cd1b6..0000000
--- a/manual/Makefile
+++ /dev/null
@@ -1,34 +0,0 @@
-LATEX2E = pdflatex
-BIBTEX = bibtex
-DVIPS = dvips
-XDVI = xdvi
-PS2PDF = ps2pdf -dMaxSubsetPct=100 -dCompatibilityLevel=1.2 -dSubsetFonts=true -dEmbedAllFonts=true  -dPDFSETTINGS=/prepress
-
-TEXDOCS = manual.tex 
-WORDDOCS= 
-DVIDOCS = $(TEXDOCS:.tex=.dvi)
-ERASEABLEPSDOCS=$(TEXDOCS:.tex=.ps)
-PSDOCS  = $(ERASEABLEPSDOCS) $(WORDDOCS:.doc=.ps) 
-PDFDOCS = $(PSDOCS:.ps=.pdf)
-
-all: $(PDFDOCS)  
-
-#%.pdf: %.ps
-#%     $(PS2PDF) $< $(@F)
-
-#%.ps : %.dvi
-#      $(DVIPS) -t letter  -Ppdf -G0 -f $< -o $(@F)
-
-#%.dvi: %.tex *.eps
-#      $(LATEX2E) $<
-
-%.pdf: %.tex 
-       $(LATEX2E) $<
-
-bib: 
-       $(LATEX2E) manual
-       $(LATEX2E) manual
-
-
-clean:
-       -rm -f *.dvi manual.pdf $(ERASEABLEPSDOCS)