Revision 01668d98

b/Makefile
230 230
	cscope -b
231 231

  
232 232
# documentation
233
MAKEINFO=makeinfo
234
MAKEINFOFLAGS=--no-headers --no-split --number-sections
233 235
TEXIFLAG=$(if $(V),,--quiet)
234 236
%.dvi: %.texi
235 237
	$(call quiet-command,texi2dvi $(TEXIFLAG) -I . $<,"  GEN   $@")
236 238

  
237 239
%.html: %.texi
238
	$(call quiet-command,texi2html -I=. -monolithic -number $<,"  GEN   $@")
240
	$(call quiet-command,$(MAKEINFO) $(MAKEINFOFLAGS) --html $< -o $@, \
241
	"  GEN   $@")
239 242

  
240 243
%.info: %.texi
241
	$(call quiet-command,makeinfo -I . $< -o $@,"  GEN   $@")
244
	$(call quiet-command,$(MAKEINFO) $< -o $@,"  GEN   $@")
242 245

  
243 246
%.pdf: %.texi
244 247
	$(call quiet-command,texi2pdf $(TEXIFLAG) -I . $<,"  GEN   $@")
b/configure
1750 1750

  
1751 1751
# Check if tools are available to build documentation.
1752 1752
if test "$docs" != "no" ; then
1753
  if has texi2html && has pod2man; then
1753
  if has makeinfo && has pod2man; then
1754 1754
    docs=yes
1755 1755
  else
1756 1756
    if test "$docs" = "yes" ; then

Also available in: Unified diff