diff options
author | Glenn Morris <[email protected]> | 2013-12-12 00:54:21 -0800 |
---|---|---|
committer | Glenn Morris <[email protected]> | 2013-12-12 00:54:21 -0800 |
commit | 62bd73fa7a8c50504bc6f916b86603ea654fc472 (patch) | |
tree | c0f269198491a68fe4fbedcb9a95ddf11c4ac600 /build-aux/dir_top | |
parent | 397a32c12ad097314c0948818d5c54b43d9f3d54 (diff) |
Stop keeping info/dir in the repository.
* build-aux/dir_top: Move here from admin/.
* build-aux/make-info-dir: New script.
* Makefile.in (bootstrap-clean): Delete info/.
(info-dir, ${srcdir}/info/dir): New rules.
(info): Also make info-dir.
(check-info): Rename from check-info-dir.
Instead of info/dir entries, check @dircategory in info/*.info.
* make-dist: Use `info' rule rather than `info-real'.
No more info/COPYING (not even the right license for info/ files).
* info/: Remove from repository.
* admin/update_autogen (info_dir):
Use dir_top from build-aux/ rather than admin/.
* .bzrignore: Ignore info/ altogether.
* doc/emacs/Makefile.in: Comment.
Diffstat (limited to 'build-aux/dir_top')
-rw-r--r-- | build-aux/dir_top | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/build-aux/dir_top b/build-aux/dir_top new file mode 100644 index 0000000000..321a39dc35 --- /dev/null +++ b/build-aux/dir_top @@ -0,0 +1,20 @@ +This is the file .../info/dir, which contains the +topmost node of the Info hierarchy, called (dir)Top. +The first time you invoke Info you start off looking at this node. + +File: dir, Node: Top This is the top of the INFO tree + +The Info Directory +****************** + + The Info Directory is the top-level menu of major Info topics. + Type "d" in Info to return to the Info Directory. Type "q" to exit Info. + Type "?" for a list of Info commands, or "h" to visit an Info tutorial. + Type "m" to choose a menu item--for instance, + "mEmacs<Return>" visits the Emacs manual. + In Emacs Info, you can click mouse button 2 on a menu item + or cross reference to follow it to its target. + Each menu line that starts with a * is a topic you can select with "m". + Every third topic has a red * to help pick the right number to type. + +* Menu: |