[graph-tool-tickets] [graph-tool] Ticket #120: --docdir switch for the "configure" script

graph-tool webmaster at skewed.de
Sat Dec 15 23:10:53 UTC 2012

#120: --docdir switch for the "configure" script
new enhancement
Reporter: muellner at math.stanford.edu
Owner: tiago peixoto
Priority: minor
Milestone: (None)
Can you make the --docdir switch for the "configure" script work? It would simplify the installation for Arch Linux but is not urgent.

Ticket URL: <URL:http://graph-tool.skewed.de/ticket/120>
graph-tool <URL:http://graph-tool.skewed.de/>
An efficient python module for graph analysis and manipulation.

More information about the graph-tool-tickets mailing list