diff options
Diffstat (limited to 'tools/extract-api.sh')
| -rwxr-xr-x | tools/extract-api.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/extract-api.sh b/tools/extract-api.sh index b81fe20..b2b3882 100755 --- a/tools/extract-api.sh +++ b/tools/extract-api.sh @@ -71,6 +71,7 @@ for header in \ "${INCLUDE}/elementary-0/elm_flip.h" \ "${INCLUDE}/elementary-0/elm_flipselector.h" \ "${INCLUDE}/elementary-0/elm_diskselector.h" \ + "${INCLUDE}/elementary-0/elm_hover.h" \ ; do # if [ ! -e "$header" ]; then |