summaryrefslogtreecommitdiffstats
path: root/doc/supplements/sh/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'doc/supplements/sh/Makefile')
-rw-r--r--doc/supplements/sh/Makefile9
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/supplements/sh/Makefile b/doc/supplements/sh/Makefile
index 2be74b0ed2..bb78ee05b3 100644
--- a/doc/supplements/sh/Makefile
+++ b/doc/supplements/sh/Makefile
@@ -12,7 +12,7 @@ include ../../Make.config
REPLACE=../../tools/word-replace
-all: html info ps
+all: html info ps pdf
dirs:
$(make-dirs)
@@ -36,6 +36,11 @@ c_$(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
@@ -50,7 +55,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)-*
rm -f c_$(PROJECT) c_$(PROJECT)-*