blob: 6f4874674d79d26899ffe891d1c9698e7c79a9dc (
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
35
36
37
|
# Copyright (C) 2010, 2020, 2021 Jose Antonio Ortega Ruiz
#
# This file is free software; as a special exception the author gives
# unlimited permission to copy and/or distribute it, with or without
# modifications, as long as this notice is preserved.
#
# This program is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
top_srcdir=..
output_dir=html
port ?= 8082
clean:
rm -f $(output_dir)/*.html
rm -f *.info
web:
rm -f $(output_dir)/*.html
texi2html --output=$(output_dir) \
--split=chapter \
--noheader \
--nonumber-section \
--init-file=$(top_srcdir)/doc/site.conf \
--top-file=index.html \
$(top_srcdir)/doc/web.texi
cp $(top_srcdir)/doc/geiser.css ${output_dir}
cp -r $(top_srcdir)/doc/img ${output_dir}
http: web
cd $(output_dir) && python -m http.server $(port)
info: geiser.info dir
%.info: %.texi
makeinfo --no-split $< -o $@
|
