diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am new file mode 100644 index 0000000..c099ad8 --- /dev/null +++ b/doc/Makefile.am @@ -0,0 +1,7 @@ +HELP2MAN = $(SHELL) $(top_srcdir)/$(config_aux_dir)/missing --run help2man + +dist_man_MANS = $(srcdir)/postgresql-setup.1 + +$(srcdir)/postgresql-setup.1: $(top_srcdir)/postgresql-setup.in + @echo "Updating the man page '$@'"; \ + $(HELP2MAN) --output=$@ $(top_srcdir)/postgresql-setup -N |
