diff options
Diffstat (limited to '')
-rw-r--r-- | doc/rgdb_specs/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/rgdb_specs/Makefile.am b/doc/rgdb_specs/Makefile.am index bf9eb0eb38..21b0b4dc0a 100644 --- a/doc/rgdb_specs/Makefile.am +++ b/doc/rgdb_specs/Makefile.am @@ -78,3 +78,4 @@ noinst_DATA = layers.eps process.eps seqdetach.eps seqbreak.eps seqinit.eps EXTRA_DIST = comm.t conclusion.t daemon.t gdbinternals.t interfacing.t \ intro.t objectives.t revision.t $(noinst_DATA) $(JPEG_FILES) +CLEANFILES += rgdb_specs.info |