diff options
author | John Gilmore <gnu@cygnus> | 1991-09-20 08:18:16 +0000 |
---|---|---|
committer | John Gilmore <gnu@cygnus> | 1991-09-20 08:18:16 +0000 |
commit | 006774c48af42a4db0268767db2cb7c62968783b (patch) | |
tree | 944640d4a82bb2ba094deb0cb7ee3bd8ee87da82 /gdb | |
parent | 531dca4989c6b9309e8f9874060b39da567b44e3 (diff) | |
download | gdb-006774c48af42a4db0268767db2cb7c62968783b.zip gdb-006774c48af42a4db0268767db2cb7c62968783b.tar.gz gdb-006774c48af42a4db0268767db2cb7c62968783b.tar.bz2 |
Remove rcfonts.tex after building refcard.
Diffstat (limited to 'gdb')
-rwxr-xr-x | gdb/doc/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/doc/Makefile b/gdb/doc/Makefile index 2ba0391..30bbfae 100755 --- a/gdb/doc/Makefile +++ b/gdb/doc/Makefile @@ -49,12 +49,14 @@ clean: refcard.dvi : refcard.tex rm -f rcfonts.tex; cp rc-cm.tex rcfonts.tex TEXINPUTS=.:$$TEXINPUTS tex refcard.tex; rm -f refcard.log + rm -f rcfonts.tex # GDB QUICK REFERENCE (PostScript output, common PS fonts) refcard.ps : refcard.tex rm -f rcfonts.tex; cp rc-ps.tex rcfonts.tex TEXINPUTS=.:$$TEXINPUTS tex refcard.tex dvips -t landscape refcard -o; rm -f refcard.dvi refcard.log + rm -f rcfonts.tex # Cover file for "Readline" appendices rdl-apps.texi: ${READLINE_DIR}/inc-readline.texinfo \ |