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
But, as a separate project, it might be good to have the keyboard help deployment add a DEPRECATED.md to keyboard help folders that are deprecated (and also to any keyboard help folders it finds that don't have a corresponding currently-published keyboard), and then update help.keyman.com/keyboard/index.php to skip those for the default help index, and list them only in a separate 'deprecated keyboards' index.
The text was updated successfully, but these errors were encountered:
mcdurdin
changed the title
chore: deployment should tag deprecated keyboard help php files
chore(infrastructure): deployment should tag deprecated keyboard help php files
Aug 2, 2023
But, as a separate project, it might be good to have the keyboard help deployment add a
DEPRECATED.md
to keyboard help folders that are deprecated (and also to any keyboard help folders it finds that don't have a corresponding currently-published keyboard), and then update help.keyman.com/keyboard/index.php to skip those for the default help index, and list them only in a separate 'deprecated keyboards' index.Originally posted by @mcdurdin in #1859 (comment)
The text was updated successfully, but these errors were encountered: