gengetopts := $(wildcard *.ggo)
gengetopts_c := $(gengetopts:.ggo=.cmdline.c)
gengetopts_h := $(gengetopts:.ggo=.cmdline.h)
gengetopts := $(wildcard *.ggo)
gengetopts_c := $(gengetopts:.ggo=.cmdline.c)
gengetopts_h := $(gengetopts:.ggo=.cmdline.h)
grutatxt_html := $(grutatxt:=.html)
html_in := $(wildcard web/*.in.html)
gen_html := $(subst web/,web/sync/,$(html_in))
grutatxt_html := $(grutatxt:=.html)
html_in := $(wildcard web/*.in.html)
gen_html := $(subst web/,web/sync/,$(html_in))
./command_util.sh man < $< > $@
server_command_lists = server_command_list.man random_selector_command_list.man \
./command_util.sh man < $< > $@
server_command_lists = server_command_list.man random_selector_command_list.man \
man/man1/para_server.1: para_server $(server_command_lists)
mkdir -p man/man1
opts="-N `for i in $(server_command_lists); do echo "-i $$i"; done`"; \
man/man1/para_server.1: para_server $(server_command_lists)
mkdir -p man/man1
opts="-N `for i in $(server_command_lists); do echo "-i $$i"; done`"; \