On 07/30/2013 10:03 PM, Vladimir V. Kisil wrote: > make[1]: Entering directory `/tmp/ginac/ginsh' > /usr/bin/python ./ginsh_op_help.py -o ginsh_op_help.h ginsh.1 > make[1]: *** No rule to make target `ginsh_parser.h', needed by `ginsh_parser.o'. Stop. Fixed now, too. -richy. -- Richard B. Kreckel