summaryrefslogtreecommitdiffstats
path: root/doc/rgdb_specs/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'doc/rgdb_specs/Makefile')
-rw-r--r--doc/rgdb_specs/Makefile9
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/rgdb_specs/Makefile b/doc/rgdb_specs/Makefile
index 537ace2d98..d247a661bc 100644
--- a/doc/rgdb_specs/Makefile
+++ b/doc/rgdb_specs/Makefile
@@ -10,7 +10,7 @@ PROJECT=rgdb_specs
include ../Make.config
-all: html info ps
+all: html info ps pdf
dirs:
$(make-dirs)
@@ -34,6 +34,11 @@ $(PROJECT): $(FILES)
dvi: $(PROJECT).dvi
ps: dirs $(PROJECT).ps
+pdf: dirs $(PROJECT).pdf
+
+$(PROJECT).pdf: $(FILES)
+ $(TEXI2PDF) $(PROJECT).texi
+ cp $(PROJECT).pdf $(PDF_INSTALL)
$(PROJECT).ps: $(PROJECT).dvi
dvips -o $(PROJECT).ps $(PROJECT).dvi
@@ -51,7 +56,7 @@ html: dirs $(FILES)
$(PROJECT).texi
clean:
- rm -f *.o $(PROG) *.txt core
+ rm -f *.o $(PROG) *.txt core *.pdf
rm -f *.dvi *.ps *.log *.aux *.cp *.fn *.ky *.pg *.toc *.tp *.vr $(BASE)
rm -f $(PROJECT) $(PROJECT)-* $(GENERATED_FILES)
rm -f *.fixed _*