Make not installing man pages

[Sian Mountbatten <poenikatu@fastmail.co.uk>]

Hi All.

I maintain a Debian package. There are two documents (man pages) in a 
sub-directory. Here is the Makefile which should be installing the two 
manpages into the /usr/share/man/man1 directory.
--
#!/usr/bin/make
#
#-------------- Documentation sources ---------------
ctrans_doc := compl.taylour star.txt

#--------------- Rules ---------------
.PHONY: install

all : rscompiler.dvi.gz ctrans.dvi.gz ctrans.info.gz \
   a68toc.1.gz ca.1.gz $(ctrans_doc)

rscompiler.dvi.gz : rscompiler.dvi
   gzip -9 rscompiler.dvi

ctrans.info.gz : ctrans.texi
   makeinfo $<
   gzip -9 ctrans.info

ctrans.dvi.gz : ctrans.dvi
   gzip -9 ctrans.dvi

a68toc.1.gz : a68toc.1
   gzip -9c $< >$@

ca.1.gz : ca.1
   gzip -9c $< >$@

install :
   $(INSTALLDATA) -p rscompiler.dvi.gz ctrans.dvi.gz \
      compl.taylour star.txt $(DOCDIR)
   $(INSTALLDATA) -p ctrans.info.gz $(INFODIR)
   $(INSTALLDATA) -p a68toc.1.gz ca.1.gz $(MANDIR)
------------------
The last command, it seems to me, installs both a68toc.1.gz and ca.1.gz 
into the MANDIR. The command INSTALLDATA is defined in the toplevel 
Makefile as "$(INSTALL) -m 644" and INSTALL is defined as
    "$(shell which install) -g root -o root"
MANDIR is defined in the toplevel Makefile as
   $(DESTDIR)/usr/share/man/man1
where DESTDIR is provided by the package maker (the dh scripts).

What do I have to do to get the manpages installed? Everything else gets 
installed properly. It's just these two files.

Sincerely
--
Sian Mountbatten
Algol 68 Specialist