gnustep/tools-make
0
0
Fork 0
mirror of https://github.com/gnustep/tools-make.git synced 2025-04-23 22:33:28 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Specify texi2html output file explicitly

Browse source
This commit is contained in:
Richard Frith-Macdonald 2023-02-06 21:35:32 +00:00
parent 2ce2a05f45
commit 3ff4ee8a05
2 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
2022-02-06 Richard Frith-Macdonald <rfm@gnu.org>
* Instance/Documentation/texi.make: for index.html specify explicit
output file for texi2html (Debian Bug#1030387)
2023-02-06 Riccard Mottola <rm@gnu.org>
* Master/source-distribution.make

2
Instance/Documentation/texi.make
View file

@ -106,7 +106,7 @@ $(OUTFILE).pdf: $(TEXI_FILES)
# so after running it we try to move any from the subdirectory to
# where they are expected.
$(OUTFILE)/index.html: $(TEXI_FILES)
-$(GNUSTEP_TEXI2HTML) \
-$(GNUSTEP_TEXI2HTML) --output=$(OUTFILE) \
$(GNUSTEP_TEXI2HTML_FLAGS) $(ADDITIONAL_TEXI2HTML_FLAGS) \
$(GNUSTEP_INSTANCE).texi; \
if [ -f $(OUTFILE)/$(OUTFILE)_toc.html ]; \