makefile (976B)
1 # Copyright (C) 2010, 2020, 2021, 2022 Jose Antonio Ortega Ruiz 2 # 3 # This file is free software; as a special exception the author gives 4 # unlimited permission to copy and/or distribute it, with or without 5 # modifications, as long as this notice is preserved. 6 # 7 # This program is distributed in the hope that it will be useful, but 8 # WITHOUT ANY WARRANTY, to the extent permitted by law; without even the 9 # implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 10 11 top_srcdir=.. 12 output_dir=html 13 port ?= 8082 14 15 clean: 16 rm -f $(output_dir)/*.html 17 rm -f *.info 18 19 web: 20 rm -f $(output_dir)/*.html 21 makeinfo --output=$(output_dir) \ 22 --html \ 23 --css-include=$(CURDIR)/geiser.css \ 24 --no-headers \ 25 --no-number-sections \ 26 --no-node-files \ 27 --split=chapter \ 28 $(CURDIR)/geiser.texi && \ 29 cp -r $(CURDIR)/img ${output_dir} 30 31 http: web 32 cd $(output_dir) && python -m http.server $(port) 33 34 info: geiser.info dir 35 36 %.info: %.texi 37 makeinfo --no-split $< -o $@