Skip to content

Commit

Permalink
Removed reference to guava2do.html and pointed users to the GitHub Is…
Browse files Browse the repository at this point in the history
…sues section instead
  • Loading branch information
osj1961 committed Jan 5, 2025
1 parent 1ee986b commit dddf10e
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions doc/guava.xml
Original file line number Diff line number Diff line change
Expand Up @@ -161,9 +161,9 @@ The conversion from TeX to
Please send bug reports, suggestions and other comments about
<Package>GUAVA</Package> to
<Email>[email protected]</Email>. Currently known bugs and
suggested <Package>GUAVA</Package> projects are listed on the
bugs and projects web page
<URL>https://gap-packages.github.io/guava/guava2do.html</URL>.
suggested <Package>GUAVA</Package> projects are listed in the Issues
section of the <Package>GUAVA</Package> GitHub page:
<URL>https://github.com/gap-packages/guava/issues</URL>.
Older releases and further history can be found on the
<Package>GUAVA</Package> web page
<URL>https://gap-packages.github.io/guava/</URL>.
Expand All @@ -175,7 +175,7 @@ Wayne Irons, Clifton (Clipper) Lennon, Jason McGowan, Shuhong Gao,
Greg Gamble and Jeffrey S. Leon.
<P/>
For documentation on Leon's programs,
see the <F>src/leon/doc subdirectory</F> of <Package>GUAVA</Package>.
see the <F>src/leon/doc</F> subdirectory of <Package>GUAVA</Package>.

</Acknowledgements>
</TitlePage> <!-- end of title page -->
Expand Down

0 comments on commit dddf10e

Please sign in to comment.