From 006774c48af42a4db0268767db2cb7c62968783b Mon Sep 17 00:00:00 2001
From: John Gilmore <gnu@cygnus>
Date: Fri, 20 Sep 1991 08:18:16 +0000
Subject: [PATCH] Remove rcfonts.tex after building refcard.

---
 gdb/doc/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gdb/doc/Makefile b/gdb/doc/Makefile
index 2ba0391c51c..30bbfaee8be 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 \
-- 
2.30.2