#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
-# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
srcdir = .
rm -f gdb.info* gdbint.info* stabs.info*
clean-dvi:
- rm -f gdb.dvi refcard.dvi gdbint.dvi stabs.dvi sedref.dvi
-
+ rm -f gdb.dvi gdbint.dvi stabs.dvi sedref.dvi
+
mostlyclean: clean-info clean-dvi
rm -f gdb.?? gdb.??? gdb.mm gdb.ms gdb.me
rm -f links2roff
rm -f gdbint.?? gdbint.??? stabs.?? stabs.???
clean: mostlyclean
- rm -f GDBvn.texi rluser.texinfo inc-hist.texi
+ rm -f rluser.texinfo inc-hist.texi gdb-cfg.texi
distclean: clean
rm -f Makefile config.status
-realclean: distclean clean-dvi clean-info
+# GDBvn.texi and refcard.dvi are distributed, so they should not be
+# removed by "clean" or "distclean".
+maintainer-clean realclean: distclean clean-dvi clean-info
+ rm -f GDBvn.texi refcard.dvi
# GDB QUICK REFERENCE (dvi output)
refcard.dvi : refcard.tex $(REFEDITS)
sed -e 's/---/\\(em/g' \
>gdb.mm
+# start-sanitize-gdbtk
+# GDB GUI MANUAL: TeX dvi file
+gdbgui.dvi : gdbgui.texinfo ${SFILES_DOC}
+ $(SET_TEXINPUTS) $(TEX) gdbgui.texinfo
+ $(TEXINDEX) gdbgui.??
+ $(SET_TEXINPUTS) $(TEX) gdbgui.texinfo
+ rm -f gdbgui.?? gdbgui.aux gdbgui.cps gdbgui.fns gdbgui.kys \
+ gdbgui.log gdbgui.pgs gdbgui.toc gdbgui.tps gdbgui.vrs
+
+# GDB GUI MANUAL: info file
+gdb-gui: gdbgui.info
+
+gdbgui.info: gdbgui.texinfo ${SFILES_DOC}
+ $(MAKEINFO) -o gdbgui.info $(srcdir)/gdbgui.texinfo
+# end-sanitize-gdbtk
+
# GDB INTERNALS MANUAL: TeX dvi file
gdbint.dvi : gdbint.texinfo
$(SET_TEXINPUTS) $(TEX) gdbint.texinfo