15a719d303
Define IDIST and use it instead of ${DIST}/texinfo. |
||
---|---|---|
.. | ||
Makefile |
15a719d303
Define IDIST and use it instead of ${DIST}/texinfo. |
||
---|---|---|
.. | ||
Makefile |