mirror of https://github.com/CGAL/cgal
crop filenames to user/refmanual when linked from pkgdesc
(to make linklint happy, which complained about broken links)
This commit is contained in:
parent
0b6f26c627
commit
b401ba6aa0
|
|
@ -263,7 +263,7 @@
|
||||||
\ccValueofPkgMaturity
|
\ccValueofPkgMaturity
|
||||||
\ccValueofPkgDependsOn
|
\ccValueofPkgDependsOn
|
||||||
\ccValueofPkgLicense
|
\ccValueofPkgLicense
|
||||||
\lcRawHtml{<a href="#X1">User Manual</a> <a href="#X2">Reference Manual</a>}
|
\lcRawHtml{<a href="#XC1">User Manual</a> <a href="#XC2">Reference Manual</a>}
|
||||||
\lciPopOutput%
|
\lciPopOutput%
|
||||||
\gdef\ccValueOfPkgName{}%
|
\gdef\ccValueOfPkgName{}%
|
||||||
}%
|
}%
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue