diff options
Diffstat (limited to 'lib/doc-support/Makefile')
| -rw-r--r-- | lib/doc-support/Makefile | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/lib/doc-support/Makefile b/lib/doc-support/Makefile deleted file mode 100644 index 553b61f8..00000000 --- a/lib/doc-support/Makefile +++ /dev/null @@ -1,23 +0,0 @@ -GETOPT = ${topdir}/builtins/getopt.o -OBJECTS = texindex.o $(GETOPT) -SOURCES = texindex.c - -LDFLAGS = -g - -srcdir = . -VPATH = .:$(srcdir) - -.c.o: - rm -f $@ - $(CC) $(CFLAGS) -c $< - -all: texindex - -texindex: texindex.o - $(CC) $(LDFLAGS) -o $@ $(OBJECTS) $(LIBS) - -clean: - rm -f texindex.o - -realclean distclean maintainer-clean: clean - rm -f texindex |