diff options
Diffstat (limited to 'Ada95/doc')
-rw-r--r-- | Ada95/doc/Makefile.in | 25 |
1 files changed, 21 insertions, 4 deletions
diff --git a/Ada95/doc/Makefile.in b/Ada95/doc/Makefile.in index 3ef3900..0aed33f 100644 --- a/Ada95/doc/Makefile.in +++ b/Ada95/doc/Makefile.in @@ -1,6 +1,6 @@ -# $Id: Makefile.in,v 1.7 2020/02/02 23:34:34 tom Exp $ +# $Id: Makefile.in,v 1.9 2021/07/03 15:45:33 tom Exp $ ############################################################################## -# Copyright 2019,2020 Thomas E. Dickey # +# Copyright 2019-2020,2021 Thomas E. Dickey # # Copyright 2011-2015,2018 Free Software Foundation, Inc. # # # # Permission is hereby granted, free of charge, to any person obtaining a # @@ -52,9 +52,26 @@ THIS = @ADA_LIBNAME@ DOCDIR = $(DESTDIR)$(datadir)/doc/$(THIS) MANDIR = $(DESTDIR)$(mandir)/man1 +################################################################################ + +@MAKE_PHONY@.PHONY : all +@MAKE_PHONY@.PHONY : check +@MAKE_PHONY@.PHONY : clean +@MAKE_PHONY@.PHONY : distclean +@MAKE_PHONY@.PHONY : install +@MAKE_PHONY@.PHONY : install.html +@MAKE_PHONY@.PHONY : install.man +@MAKE_PHONY@.PHONY : libs +@MAKE_PHONY@.PHONY : lint +@MAKE_PHONY@.PHONY : mostlyclean +@MAKE_PHONY@.PHONY : realclean +@MAKE_PHONY@.PHONY : sources +@MAKE_PHONY@.PHONY : uninstall +@MAKE_PHONY@.PHONY : uninstall.html +@MAKE_PHONY@.PHONY : uninstall.man + all \ sources \ -depend \ tags : $(DOCDIR) \ @@ -69,7 +86,7 @@ uninstall uninstall.man : # HTML documentation is optional, usually in a separate package. install.html : $(DOCDIR) - cd $(srcdir) && tar -cf - *.htm* ada | tar -C $(DOCDIR) -xf - + ( cd $(srcdir) && tar -cf - *.htm* ada | tar -C $(DOCDIR) -xf - ) uninstall.html : -rm -rf $(DOCDIR) |