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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
# This file is part of GNU Dico
# Copyright (C) 2008-2024 Sergey Poznyakoff
#
# GNU Dico is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3, or (at your option)
# any later version.
#
# GNU Dico is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with GNU Dico. If not, see <http://www.gnu.org/licenses/>.
dist_man_MANS=dicod.8 dicod.conf.5 dico.1
.8in.8:
$(AM_V_GEN)soelim -I$(builddir) $< > $@
.5in.5:
$(AM_V_GEN)soelim -I$(builddir) $< > $@
config.man: $(top_srcdir)/configure.ac $(top_srcdir)/doc/Makefile.am
$(AM_V_GEN){ \
echo ".ds ET $(sysconfdir)"; \
echo ".ds MD $(DICO_MODDIR)"; \
echo ".ds DI $(DEFAULT_INCLUDE_DIR)"; \
echo ".ds VI $(DEFAULT_VERSION_INCLUDE_DIR)"; \
echo ".ds LO $(localstatedir)"; \
} > config.man
dicod.8 dicod.conf.5: config.man
EXTRA_DIST = dicod.8in dicod.conf.5in gendocs.pl
CLEANFILES=dicod.8 dicod.conf.5
DISTCLEANFILES=config.man
info_TEXINFOS=dico.texi
dico_TEXINFOS=\
fdl.texi\
libdico.texi\
macros.texi\
proto.texi\
strat.texi\
strftime.texi
clean-local:
rm -rf manual
AM_MAKEINFOFLAGS = @IMPRIMATUR_MAKEINFOFLAGS@
imprimatur_INPUT=$(info_TEXINFOS) $(dico_TEXINFOS)
include ../imprimatur/imprimatur.mk
CHECK_DOCS=$(top_srcdir)/@IMPRIMATUR_MODULE_DIR@/check-docs.sh
# Checking
check-options:
@$(CHECK_DOCS) options \
'/OPTIONS_BEGIN/,/OPTIONS_END/s/OPTION( *\([^,][^,]*\),.*/\1/pg' \
'/@c option --/{s///;t a;:a;s/^\(\\option\\\|help\|version\|usage\)//;t;p}' \
$(top_srcdir)/dicod/cmdline.opt -- \
$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) -E - \
$(info_TEXINFOS)
all-check-docs: imprimatur-basic-checks check-options
check-docs:
$(MAKE) -k all-check-docs
#
master-menu: imprimatur-master-menu
untabify: imprimatur-untabify
final: imprimatur-final
GENDOCS = perl gendocs.pl
TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -E
.PHONY: manual man-tar
# Make sure you set TEXINPUTS.
# TEXINPUTS=/usr/share/texmf/pdftex/plain/misc/ is ok for most distributions
manual:
rm -rf manual
TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \
MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \
TEXI2DVI="$(TEXI2DVI) -t @finalout" \
$(GENDOCS) -C manual -o otherdoc.texi $(PACKAGE) otherdoc.texi.in
$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -DWEBDOC \
--html --init-file=webdoc.init $(info_TEXINFOS) -o manual
manual.tar.bz2: manual
tar cfj manual.tar.bz2 manual
man-tar: manual.tar.bz2
|
