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
As requested by Matt Gushee on the mailing list, documentation files (/usr/lib/pure/docs) should be moved to /usr/share. This entails the following changes:
Fix up make install and uninstall targets in pure/Makefile.
Fix up the file search logic in the help command (lexer.ll), as well as the Emacs and TeXmacs modes, so that the documentation search path is derived from the PURELIB prefix in an automatic fashion.
Add a datadir variable to pure.pc which points to the /usr/share/pure directory, so that addon packages can find the new install location for documentation and other platform-independent files.
As requested by Matt Gushee on the mailing list, documentation files (/usr/lib/pure/docs) should be moved to /usr/share. This entails the following changes:
Fix up make install and uninstall targets in pure/Makefile.
Fix up the file search logic in the help command (lexer.ll), as well as the Emacs and TeXmacs modes, so that the documentation search path is derived from the PURELIB prefix in an automatic fashion.
Add a datadir variable to pure.pc which points to the /usr/share/pure directory, so that addon packages can find the new install location for documentation and other platform-independent files.
(Originally submitted 2013-10-04 as BB #16.)
The text was updated successfully, but these errors were encountered: