branch: externals/debbugs
commit 6d77745a6012ff5cd69b812227cdd52c3ced8642
Author: Michael Albinus <michael.albi...@gmx.de>
Commit: Michael Albinus <michael.albi...@gmx.de>
; Minor cleanup
* Makefile (.PHONY): Add doc.
* debbugs-ug.texi:
* debbugs.texi: Remove comment.
---
Makefile | 2 +-
debbugs-ug.texi | 1 -
debbugs.texi | 1 -
3 files changed, 1 insertion(+), 3 deletions(-)
diff --git a/Makefile b/Makefile
index 3f2ee7a554..9e6c682476 100644
--- a/Makefile
+++ b/Makefile
@@ -45,7 +45,7 @@ SELECTOR ?= (not (tag :unstable))
INFOMANUALS = debbugs.info debbugs-ug.info
-.PHONY: all build check clean checkdoc
+.PHONY: all build check checkdoc clean doc
.PRECIOUS: %.elc
%.elc: %.el
diff --git a/debbugs-ug.texi b/debbugs-ug.texi
index 506d48ef02..ef2f20b081 100644
--- a/debbugs-ug.texi
+++ b/debbugs-ug.texi
@@ -4,7 +4,6 @@
@dircategory Emacs
@direntry
-@c If you change this, you must also change file "dir" in this directory.
* Debbugs User Guide: (debbugs-ug). Debbugs User Interface in Emacs.
@end direntry
diff --git a/debbugs.texi b/debbugs.texi
index 7a1de829d1..f5024c5c36 100644
--- a/debbugs.texi
+++ b/debbugs.texi
@@ -4,7 +4,6 @@
@dircategory Emacs
@direntry
-@c If you change this, you must also change file "dir" in this directory.
* Debbugs Library: (debbugs). A library for communication with Debbugs.
@end direntry
