diff options
| author | Martin Liska <mliska@suse.cz> | 2022-11-13 21:58:39 +0100 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2022-11-14 09:35:05 +0100 |
| commit | 8a1ca6f59e4aff5cafc5cfb7b48f5cff4813e532 (patch) | |
| tree | f76805bdeac682266f138244a419bae996d6557c /gcc/ada | |
| parent | c909a4af728c7e1b2b93b99effcd7ba6e15290b7 (diff) | |
| download | gcc-8a1ca6f59e4aff5cafc5cfb7b48f5cff4813e532.zip gcc-8a1ca6f59e4aff5cafc5cfb7b48f5cff4813e532.tar.gz gcc-8a1ca6f59e4aff5cafc5cfb7b48f5cff4813e532.tar.bz2 | |
Revert "sphinx: support installation if sphinx-build is missing"
This reverts commit e5821d3f62b5bf532db1be661459b7553a956fa2.
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/gcc-interface/Make-lang.in | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/ada/gcc-interface/Make-lang.in b/gcc/ada/gcc-interface/Make-lang.in index c404bef..555d2ef 100644 --- a/gcc/ada/gcc-interface/Make-lang.in +++ b/gcc/ada/gcc-interface/Make-lang.in @@ -837,13 +837,16 @@ ada.install-info: $(DESTDIR)$(infodir)/gnat_ugn.info \ $(DESTDIR)$(infodir)/gnat-style.info $(DESTDIR)$(infodir)/gnat_ugn.info: doc/gnat_ugn/info/texinfo/gnat_ugn.info installdirs - -if [ -f $< ]; then rm -f $@; $(INSTALL_DATA) $< $@; fi + -rm -f $@ + -$(INSTALL_DATA) $< $@ $(DESTDIR)$(infodir)/gnat_rm.info: doc/gnat_rm/info/texinfo/gnat_rm.info installdirs - -if [ -f $< ]; then rm -f $@; $(INSTALL_DATA) $< $@; fi + -rm -f $@ + -$(INSTALL_DATA) $< $@ $(DESTDIR)$(infodir)/gnat-style.info: doc/gnat-style/info/texinfo/gnat-style.info installdirs - -if [ -f $< ]; then rm -f $@; $(INSTALL_DATA) $< $@; fi + -rm -f $@ + -$(INSTALL_DATA) $< $@ ADA_PDFFILES = doc/gnat_ugn/pdf/latex/gnat_ugn.pdf\ doc/gnat_rm/pdf/latex/gnat_rm.pdf \ |