You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The "make docs" (in man) is partially broken. The index files are empty. the individual html man pages are ok.
It uses rman (PolyglotMan). V3.2
It works on Ubuntu16, but not 18, not 20. The same version (2003!) of rman is however present on all these systems.
The text was updated successfully, but these errors were encountered:
The "make docs" (in man) is partially broken. The index files are empty. the individual html man pages are ok.
It uses rman (PolyglotMan). V3.2
It works on Ubuntu16, but not 18, not 20. The same version (2003!) of rman is however present on all these systems.
The text was updated successfully, but these errors were encountered: