80422f22c7
patch html files only if NOPORTDOCS not defined Submitted by: maintainer |
||
---|---|---|
.. | ||
do-install |
80422f22c7
patch html files only if NOPORTDOCS not defined Submitted by: maintainer |
||
---|---|---|
.. | ||
do-install |