diff options
| author | Thomas Roessler <roessler@does-not-exist.org> | 2000-01-25 17:49:50 +0000 |
|---|---|---|
| committer | Thomas Roessler <roessler@does-not-exist.org> | 2000-01-25 17:49:50 +0000 |
| commit | 1cd0f11b996d00634796629a6a9328b788acb7b8 (patch) | |
| tree | 9264662cc8d3a3183b3b05252c8af8241a4e1a7f /doc/Makefile.in | |
| parent | 7511811222787620db5c925208fbcc3917e4e104 (diff) | |
Make the build process work when sgmltools aren't present. From
Lawrence Greenfield <leg+@andrew.cmu.edu>.
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index db9985f4..3bbb4465 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -80,10 +80,10 @@ install: all for f in $(topsrcdir_DOCFILES) ; do \ $(INSTALL) -m 644 $(top_srcdir)/$$f $(DESTDIR)$(docdir) ; \ done - $(INSTALL) -m 644 manual.txt $(DESTDIR)$(docdir) + $(INSTALL) -m 644 manual.txt $(DESTDIR)$(docdir) || true $(top_srcdir)/mkinstalldirs $(DESTDIR)$(docdir)/html for file in manual*.html ; do \ - $(INSTALL) -m 644 $$file $(DESTDIR)$(docdir)/html/ ;\ + $(INSTALL) -m 644 $$file $(DESTDIR)$(docdir)/html/ || true ;\ done uninstall: @@ -93,10 +93,10 @@ uninstall: -rm -rf $(DESTDIR)$(docdir) manual.txt: manual.sgml - sgml2txt -c latin manual + sgml2txt -c latin manual || true manual.html: manual.sgml - sgml2html manual + sgml2html manual || true clean: rm -f *~ *.html *.orig *.rej stamp-doc-sgml stamp-doc-man |