diff options
Diffstat (limited to 'docs/Makefile.am')
-rw-r--r-- | docs/Makefile.am | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am deleted file mode 100644 index b407dcb..0000000 --- a/docs/Makefile.am +++ /dev/null @@ -1,13 +0,0 @@ -SUBDIRS = reference - -# 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 |