OSDN Git Service

Add manvolnum, so that man pages are generated.
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 19 Jun 2009 15:28:25 +0000 (15:28 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 19 Jun 2009 15:28:25 +0000 (15:28 +0000)
commit6f1286c12d7cbb5df49340b3a5d52d1335c320fa
tree4d819f5c96639d62442afcd72e9140ce6eb1bfb0
parenta091ac46caea47bd44da27bd6ae4076a3190087a
Add manvolnum, so that man pages are generated.
doc/src/sgml/ref/alter_foreign_data_wrapper.sgml
doc/src/sgml/ref/alter_server.sgml
doc/src/sgml/ref/alter_user_mapping.sgml
doc/src/sgml/ref/create_foreign_data_wrapper.sgml
doc/src/sgml/ref/create_server.sgml
doc/src/sgml/ref/create_user_mapping.sgml
doc/src/sgml/ref/drop_foreign_data_wrapper.sgml
doc/src/sgml/ref/drop_server.sgml
doc/src/sgml/ref/drop_user_mapping.sgml