diff options
Diffstat (limited to 'man/po/Makefile.in')
| -rw-r--r-- | man/po/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/man/po/Makefile.in b/man/po/Makefile.in index fa54cc14..deaa8705 100644 --- a/man/po/Makefile.in +++ b/man/po/Makefile.in @@ -73,7 +73,6 @@ all-no: # $(POFILES) has been designed to not touch files that don't need to be # changed. stamp-po: $(srcdir)/$(DOMAIN).pot - echo "TOTO 0" @test ! -f $(srcdir)/$(DOMAIN).pot || { \ echo "touch stamp-po" && \ echo timestamp > stamp-poT && \ |