songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Defining a new resource directory to be used with doxygen master 1.10.0 

Adding the, new, possibility for `HTML_COPY_CLIPBOARD`:
> If the `HTML_COPY_CLIPBOARD` tag is set to `YES` then doxygen will show an icon
> the top right of code and text fragments that allows the user to copy the contents to the clipboard (provided
> this is supported by the browser).
This commit is contained in:
albert-github 2023-10-17 10:59:44 +02:00
parent d53d30a69b
commit ea970e6ef5
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Documentation/doc/resources/1.10.0/header.html
View File

@ -17,6 +17,9 @@
<!--END DISABLE_INDEX-->
<script type="text/javascript" src="$relpath^../Manual/jquery.js"></script>
<script type="text/javascript" src="$relpath^../Manual/dynsections.js"></script>
<!--BEGIN COPY_CLIPBOARD-->
<script type="text/javascript" src="$relpath^clipboard.js"></script>
<!--END COPY_CLIPBOARD-->
<script src="$relpath$../Manual/hacks.js" type="text/javascript"></script>
$treeview
$search

3
Documentation/doc/resources/1.10.0/header_package.html
View File

@ -17,6 +17,9 @@
<!--END DISABLE_INDEX-->
<script type="text/javascript" src="$relpath^../Manual/jquery.js"></script>
<script type="text/javascript" src="$relpath^../Manual/dynsections.js"></script>
<!--BEGIN COPY_CLIPBOARD-->
<script type="text/javascript" src="$relpath^clipboard.js"></script>
<!--END COPY_CLIPBOARD-->
<script src="$relpath^../Manual/hacks.js" type="text/javascript"></script>
<!-- Manually include treeview and search to avoid bloat and to fix
paths to the directory Manual . -->