diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/tools/texi2www/Makefile.am | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/doc/tools/texi2www/Makefile.am b/doc/tools/texi2www/Makefile.am deleted file mode 100644 index 4ebdd53e46..0000000000 --- a/doc/tools/texi2www/Makefile.am +++ /dev/null @@ -1,17 +0,0 @@ -# -# COPYRIGHT (c) 1988-2002. -# On-Line Applications Research Corporation (OAR). -# All rights reserved. -# -# $Id$ -# - -noinst_SCRIPTS = texi2www texi2dvi - -EXTRA_DIST = $(noinst_SCRIPTS) dir-arrow.gif prev-arrow.gif \ - missing-arrow.gif up-arrow.gif next-arrow.gif texi2www.texi - -PROJECT = texi2www - -# TEXINFO_TEX = $(top_srcdir)/../texinfo/texinfo.tex -# info_TEXINFOS = texi2www.texi |