blob: 9dc567099c30f1714adb2748d203dc6e69345275 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
dnl GNOME_DOC_INIT
AC_DEFUN([GNOME_DOC_INIT],
[
AC_ARG_WITH([help-dir],
AC_HELP_STRING([--with-help-dir=DIR], [path to help docs]),,
[with_help_dir='${datadir}/gnome/help'])
HELP_DIR="$with_help_dir"
AC_SUBST(HELP_DIR)
AC_ARG_WITH([omf-dir],
AC_HELP_STRING([--with-omf-dir=DIR], [path to OMF files]),,
[with_omf_dir='${datadir}/omf'])
OMF_DIR="$with_omf_dir"
AC_SUBST(OMF_DIR)
AC_ARG_WITH([help-formats],
AC_HELP_STRING([--with-help-formats=FORMATS], [list of formats]),,
[with_help_formats=''])
DOC_USER_FORMATS="$with_help_formats"
AC_SUBST(DOC_USER_FORMATS)
AC_OUTPUT_COMMANDS([
gdumk=`pkg-config --variable prefix gnome-doc-utils`/share/gnome-doc-utils/gnome-doc-utils.make
if ! test -f gnome-doc-utils.m4; then
if ! cmp -s $gdumk gnome-doc-utils.make; then
cp $gdumk .
fi
fi
if ! grep -q 'gnome-doc-utils\.make' $ac_top_srcdir/Makefile.am; then
echo gnome-doc-utils.make should be added to EXTRA_DIST in Makefile.am
fi
])
])
|
