From 78cbb21a99a48e102259c239cab0abebc41811b8 Mon Sep 17 00:00:00 2001 From: Alvaro Herrera Date: Tue, 26 Apr 2011 11:33:54 -0300 Subject: [PATCH] Generate HISTORY and INSTALL in the toplevel Makefile's "make docs" --- doc/src/sgml/Makefile | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index c5078a8..65274dc 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -22,7 +22,7 @@ top_builddir = ../../.. include $(top_builddir)/src/Makefile.global -all: html man +all: html man HISTORY INSTALL distprep: html distprep-man -- 1.7.4.1