Skip to content

Commit

Permalink
Update paths in make recipe
Browse files Browse the repository at this point in the history
  • Loading branch information
Joseph-Edwards committed May 31, 2024
1 parent 7c597a2 commit 21178d1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile.am
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,6 @@ pkginclude_HEADERS += include/libsemigroups/presentation.hpp
pkginclude_HEADERS += include/libsemigroups/presentation.tpp
pkginclude_HEADERS += include/libsemigroups/ranges.hpp
pkginclude_HEADERS += include/libsemigroups/ranges.tpp
pkginclude_HEADERS += include/libsemigroups/rewriters.hpp
pkginclude_HEADERS += include/libsemigroups/runner.hpp
pkginclude_HEADERS += include/libsemigroups/runner.tpp
pkginclude_HEADERS += include/libsemigroups/schreier-sims.hpp
Expand Down Expand Up @@ -134,6 +133,7 @@ detailinclude_HEADERS += include/libsemigroups/detail/pool.hpp
detailinclude_HEADERS += include/libsemigroups/detail/race.hpp
detailinclude_HEADERS += include/libsemigroups/detail/report.hpp
detailinclude_HEADERS += include/libsemigroups/detail/report.tpp
detailinclude_HEADERS += include/libsemigroups/detail/rewriters.hpp
detailinclude_HEADERS += include/libsemigroups/detail/stl.hpp
detailinclude_HEADERS += include/libsemigroups/detail/string.hpp
detailinclude_HEADERS += include/libsemigroups/detail/tce.hpp
Expand Down

0 comments on commit 21178d1

Please sign in to comment.