diff options
Diffstat (limited to 'docs/Makefile.am')
-rw-r--r-- | docs/Makefile.am | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am deleted file mode 100644 index 71b71a712..000000000 --- a/docs/Makefile.am +++ /dev/null @@ -1,14 +0,0 @@ - -SUBDIRS = reference man - -# require gtk-doc when making dist -# -if ENABLE_GTK_DOC -dist-check-gtk-doc: -else -dist-check-gtk-doc: - @echo "*** gtk-doc must be enabled in order to make dist" - @false -endif - -dist-hook: dist-check-gtk-doc |