diff options
| author | jao <jao@gnu.org> | 2023-10-05 03:17:01 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2023-10-05 03:17:01 +0100 |
| commit | 172376d5cea32925d87f3f7b745c125038135e69 (patch) | |
| tree | 9a84ac69c1c186a15865bf3a014566c77057deab /doc | |
| parent | d6818b5792d8d6368929fb63b405828d52471310 (diff) | |
| download | geiser-172376d5cea32925d87f3f7b745c125038135e69.tar.gz geiser-172376d5cea32925d87f3f7b745c125038135e69.tar.bz2 | |
css: don't copy CSS over and over
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/makefile b/doc/makefile index fa15a66..a628b97 100644 --- a/doc/makefile +++ b/doc/makefile @@ -1,4 +1,4 @@ -# Copyright (C) 2010, 2020, 2021, 2022 Jose Antonio Ortega Ruiz +# Copyright (C) 2010, 2020, 2021, 2022, 2023 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 @@ -18,9 +18,9 @@ clean: web: rm -f $(output_dir)/*.html - makeinfo --output=$(output_dir) \ + texi2any --output=$(output_dir) \ --html \ - --css-include=$(CURDIR)/geiser.css \ + --css-ref=geiser.css \ --no-headers \ --no-number-sections \ --no-node-files \ |