Differential D5547

docs/Makefile: Remove no longer needed target
ClosedPublic
Actions

Authored by anlambert on Apr 16 2021, 2:22 PM.

Details

Reviewers

ardumont

Group Reviewers

Reviewers

Commits

rDLDBASE227c78ca28c7: docs/Makefile: Remove no longer needed target

Summary

It enables to successfully invoke make in the docs folder.

Diff Detail

Repository

rDLDBASE Generic VCS/Package Loader

Lint

Automatic diff as part of commit; lint not applicable.

Unit

Automatic diff as part of commit; unit tests not applicable.

Event Timeline

anlambert created this revision.Apr 16 2021, 2:22 PM

Herald added a reviewer: Reviewers. · View Herald TranscriptApr 16 2021, 2:22 PM

Build is green

Patch application report for D5547 (id=19796)

Rebasing onto 282e7f19bf...

Current branch diff-target is up to date.

Changes applied before test

commit 227c78ca28c7ef170d1265f538ce95efd7e7132e
Author: Antoine Lambert <antoine.lambert@inria.fr>
Date:   Fri Apr 16 14:22:39 2021 +0200

    docs/Makefile: Remove no longer needed target
    
    It enables to successfully invoke make in the docs folder.

See https://jenkins.softwareheritage.org/job/DLDBASE/job/tests-on-diff/474/ for more details.

Harbormaster completed remote builds in B20809: Diff 19796.Apr 16 2021, 2:24 PM

anlambert requested review of this revision.Apr 16 2021, 2:24 PM

ardumont accepted this revision.Apr 16 2021, 2:27 PM

This revision is now accepted and ready to land.Apr 16 2021, 2:27 PM

Closed by commit rDLDBASE227c78ca28c7: docs/Makefile: Remove no longer needed target (authored by anlambert). · Explain WhyApr 16 2021, 4:34 PM

This revision was automatically updated to reflect the committed changes.

anlambert added a commit: rDLDBASE227c78ca28c7: docs/Makefile: Remove no longer needed target.