diff options
Diffstat (limited to 'linuxthreads/man/Makefile')
-rw-r--r-- | linuxthreads/man/Makefile | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/linuxthreads/man/Makefile b/linuxthreads/man/Makefile deleted file mode 100644 index d82e893566..0000000000 --- a/linuxthreads/man/Makefile +++ /dev/null @@ -1,25 +0,0 @@ -SOURCES= pthread_cleanup_push.man \ - pthread_kill_other_threads_np.man pthread_mutexattr_setkind_np.man - -MANPAGES=$(SOURCES:.man=.3thr) - -PREPRO=perl troffprepro - -MANDIR=/usr/man/man3 - -all: $(MANPAGES) - -.SUFFIXES: .man .3thr - -.man.3thr: - $(PREPRO) $*.man $*.3thr - -$(MANPAGES): troffprepro - -clean: - rm -f *.3thr - rm -f *~ - -install: - install *.3thr $(MANDIR) - @echo "*** Remember to run /usr/sbin/makewhatis `dirname $(MANDIR)` at some point" |