File: osicat.texinfo

package info (click to toggle)
acl2 8.6%2Bdfsg-2
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 1,111,420 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
file content (132 lines) | stat: -rw-r--r-- 3,304 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
\input texinfo   @c -*-texinfo-*-
@c %**start of header
@setfilename osicat.info
@settitle Osicat Manual

@c @exampleindent 2
@c @documentencoding utf-8

@c %**end of header

@c for install-info
@c @dircategory %%INFO-CATEGORY%%
@c @direntry
@c * osicat:           %%PROJECT-DESCRIPTION%%
@c @end direntry

@include macros.texinfo

@c Show types, functions, and concepts in the same index.
@syncodeindex tp cp
@syncodeindex fn cp

@copying
@c Copyright @copyright{} 2084 John Doe <john@doe.com>

@include license.texinfo
@end copying

@titlepage
@title Osicat Manual
@subtitle draft version
@c @author John Doe
@page
@vskip 0pt plus 1filll
@insertcopying
@end titlepage

@contents

@ifnottex
@node Top
@top osicat
@insertcopying
@end ifnottex

@c Top Menu
@menu
* Osicat::                      
* Comprehensive Index::         
@end menu

@node Osicat
@chapter Osicat

@include include/package-osicat.texinfo

@menu
* Conditions::                  
* Environment::                 
* Directories::                 
* Files and Symbolic Links::    
* Users::                       
* Time::                        
* Pathname Utilities::          
@end menu

@node Conditions
@section Conditions

@include include/condition-osicat-system-error.texinfo

@node Environment
@section Environment

@include include/fun-osicat-environment-variable.texinfo
@include include/fun-osicat-environment.texinfo
@include include/fun-osicat-makunbound-environment-variable.texinfo

@node Directories
@section Directories

@include include/fun-osicat-current-directory.texinfo
@include include/fun-osicat-delete-directory-and-files.texinfo
@include include/fun-osicat-delete-directory.texinfo
@include include/fun-osicat-directory-exists-p.texinfo
@include include/fun-osicat-list-directory.texinfo
@include include/fun-osicat-mapdir.texinfo
@include include/fun-osicat-walk-directory.texinfo
@include include/macro-osicat-with-directory-iterator.texinfo

@node Files and Symbolic Links
@section Files and Symbolic Links

@include include/fun-osicat-file-exists-p.texinfo
@include include/fun-osicat-regular-file-exists-p.texinfo
@include include/fun-osicat-file-kind.texinfo
@include include/fun-osicat-file-permissions.texinfo
@include include/fun-osicat-open-temporary-file.texinfo
@include include/macro-osicat-with-temporary-file.texinfo
@include include/fun-osicat-make-link.texinfo
@include include/fun-osicat-read-link.texinfo

@node Users
@section Users

@include include/fun-osicat-user-info.texinfo

@node Time
@section Time

@include include/fun-osicat-get-monotonic-time.texinfo

@node Pathname Utilities
@section Pathname Utilities

@include include/fun-osicat-absolute-pathname-p.texinfo
@include include/fun-osicat-absolute-pathname.texinfo
@include include/fun-osicat-directory-pathname-p.texinfo
@include include/fun-osicat-pathname-as-directory.texinfo
@include include/fun-osicat-pathname-as-file.texinfo
@include include/fun-osicat-pathname-directory-pathname.texinfo
@include include/fun-osicat-relative-pathname-p.texinfo
@include include/fun-osicat-unmerge-pathnames.texinfo

@c We call this node ``Comprehensive Index'' so that texinfo's HTML
@c output doesn't generate an index.html that'd overwrite the manual's
@c initial page.
@node Comprehensive Index
@unnumbered Index
@printindex cp

@bye