Add GDOC_TEXI_EXTRA_ARGS, GDOC_MAN_EXTRA_ARGS.
commit9960eabf8528f23322fc6cfaf8f14f20d35d4c6b
authorSimon Josefsson <simon@josefsson.org>
Sat, 1 Nov 2003 13:41:29 +0000 (1 13:41 +0000)
committerSimon Josefsson <simon@josefsson.org>
Sat, 1 Nov 2003 13:41:29 +0000 (1 13:41 +0000)
tree489f6dd74cc500b996981166b1bf596ce3638966
parent71e0f223303803dd1fb62ebbc24252586e795c85
Add GDOC_TEXI_EXTRA_ARGS, GDOC_MAN_EXTRA_ARGS.
doc/Makefile.gdoci