chiark / gitweb /
copyright: Fix information in usage output
[userv.git] / Makefile.in
index 4a13d616a7b858690afc92a90a348129ca2d0949..ec58cd519200b899512d8a39c6e18212cb353a79 100644 (file)
@@ -1,9 +1,7 @@
 #  userv - Makefile.in
 #  
-#  userv is
-#  Copyright 1996-2017 Ian Jackson <ian@davenant.greenend.org.uk>.
-#  Copyright 2000      Ben Harris <bjh21@cam.ac.uk>
-#  Copyright 2016-2017 Peter Benie <pjb1008@cam.ac.uk>
+#  userv is copyright Ian Jackson and other contributors.
+#  See README for full authorship information.
 #  
 #  This is free software; you can redistribute it and/or modify it
 #  under the terms of the GNU General Public License as published by
@@ -95,12 +93,14 @@ install-strip:
 
 install-doc install-docs:      $(TARGETS_DOC)
                $(INSTALL_DIR) $(addprefix $(DESTDIR),                  \
-                       $(docdir) $(docdir)/spec.html                   \
+                       $(docdir) $(docdir)/spec.html $(docdir)/examples \
                        $(mandir) $(man1dir) $(man8dir)                 \
                )
                $(INSTALL_DATA) -m 644 $(TARGETS_DOC_PS) $(DESTDIR)$(docdir)/.
                $(INSTALL_DATA) -m 644 spec.html/*.html \
                        $(DESTDIR)$(docdir)/spec.html/.
+               $(INSTALL_DATA) -m 644 system.default system.override \
+                       $(DESTDIR)$(docdir)/examples/.
                $(INSTALL_DATA) -m 644 $(MAN1PAGES) $(DESTDIR)$(man1dir)
                $(INSTALL_DATA) -m 644 $(MAN8PAGES) $(DESTDIR)$(man8dir)