diff options
| author | Graham Wilson <graham@mknod.org> | 2004-11-29 01:52:17 +0000 |
|---|---|---|
| committer | Graham Wilson <graham@mknod.org> | 2004-11-29 01:52:17 +0000 |
| commit | 100fa76e5f1675dd18b9d35e5c7e88699a57ba7d (patch) | |
| tree | 13016c26d6e058c9c72eee42fab928f5845988ec | |
| parent | 770aadf57878bf73f98d46b86cb719569da5a9f2 (diff) | |
| download | fetchmail-100fa76e5f1675dd18b9d35e5c7e88699a57ba7d.tar.gz fetchmail-100fa76e5f1675dd18b9d35e5c7e88699a57ba7d.tar.bz2 fetchmail-100fa76e5f1675dd18b9d35e5c7e88699a57ba7d.zip | |
Move the html2txt script to dist-tools.
svn path=/trunk/; revision=4012
| -rw-r--r-- | Makefile.am | 10 | ||||
| -rwxr-xr-x | dist-tools/html2txt (renamed from html2txt.sh) | 0 |
2 files changed, 5 insertions, 5 deletions
diff --git a/Makefile.am b/Makefile.am index 814e7df3..18205397 100644 --- a/Makefile.am +++ b/Makefile.am @@ -11,7 +11,7 @@ BUILT_SOURCES= rcfile_y.h bin_PROGRAMS= fetchmail dist_bin_SCRIPTS= fetchmailconf -dist_noinst_SCRIPTS= html2txt.sh specgen.sh +dist_noinst_SCRIPTS= specgen.sh dist_man1_MANS= fetchmail.man # for gettext (used by fetchmail.c, NOT by GNU gettext) @@ -81,16 +81,16 @@ EXTRA_DIST= $(DISTDOCS) fetchmail.spec $(distdirs) ucs/README.svn \ trio/CHANGES trio/README FAQ: fetchmail-FAQ.html - AWK=$(AWK) $(SHELL) $(srcdir)/html2txt.sh $(srcdir)/fetchmail-FAQ.html >$@ || { rm -f $@ ; exit 1 ; } + AWK=$(AWK) $(SHELL) $(srcdir)/dist-tools/html2txt $(srcdir)/fetchmail-FAQ.html >$@ || { rm -f $@ ; exit 1 ; } FEATURES: fetchmail-features.html - AWK=$(AWK) $(SHELL) $(srcdir)/html2txt.sh $(srcdir)/fetchmail-features.html >$@ || { rm -f $@ ; exit 1 ; } + AWK=$(AWK) $(SHELL) $(srcdir)/dist-tools/html2txt $(srcdir)/fetchmail-features.html >$@ || { rm -f $@ ; exit 1 ; } NOTES: design-notes.html - AWK=$(AWK) $(SHELL) $(srcdir)/html2txt.sh $(srcdir)/design-notes.html >$@ || { rm -f $@ ; exit 1 ; } + AWK=$(AWK) $(SHELL) $(srcdir)/dist-tools/html2txt $(srcdir)/design-notes.html >$@ || { rm -f $@ ; exit 1 ; } TODO: todo.html - AWK=$(AWK) $(SHELL) $(srcdir)/html2txt.sh $(srcdir)/todo.html >$@ || { rm -f $@ ; exit 1 ; } + AWK=$(AWK) $(SHELL) $(srcdir)/dist-tools/html2txt $(srcdir)/todo.html >$@ || { rm -f $@ ; exit 1 ; } # man2html no longer chokes and dies on this man page, # but manServer.pl does a much better job. diff --git a/html2txt.sh b/dist-tools/html2txt index d2ae59a1..d2ae59a1 100755 --- a/html2txt.sh +++ b/dist-tools/html2txt |