diff options
author | Wu Xiaotian <[email protected]> | 2020-10-11 14:28:35 +0800 |
---|---|---|
committer | raveit65 <[email protected]> | 2020-10-11 16:51:17 +0200 |
commit | e295fc3519ea1b4623ad9a43301527af9b1c6b27 (patch) | |
tree | 4c548dca0b6ddfe5e4cb3fe24c138d0db3c39f55 /docs | |
parent | f913bec5ae676697efc616f3127eefb2de7c0467 (diff) | |
download | pluma-e295fc3519ea1b4623ad9a43301527af9b1c6b27.tar.bz2 pluma-e295fc3519ea1b4623ad9a43301527af9b1c6b27.tar.xz |
travis: fix build error on archlinux
Diffstat (limited to 'docs')
-rw-r--r-- | docs/reference/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/reference/Makefile.am b/docs/reference/Makefile.am index e85d2228..d249ad72 100644 --- a/docs/reference/Makefile.am +++ b/docs/reference/Makefile.am @@ -100,6 +100,8 @@ include $(top_srcdir)/gtk-doc.make # Other files to distribute # e.g. EXTRA_DIST += version.xml.in +DISTCLEANFILES = $(DOC_MODULE).actions + regenerate-types: grep _get_type $(DOC_SOURCE_DIR)/pluma-*.h | grep -oR '^.*\.h' | sort | uniq - | sed -r 's/^.*\.h$/#include "\0"/' > pluma.types grep _get_type $(DOC_SOURCE_DIR)/pluma-*.h | grep -oR '^.*\.h' | sort | uniq - | sed -re 'y/-/_/' -e 's/^(.*)\.h$/\1_get_type/' >> pluma.types.new |