projects
/
spider.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
minor corrections to manuals
[spider.git]
/
sgml
/
Makefile
diff --git
a/sgml/Makefile
b/sgml/Makefile
index 1056584a545badd8b78edd37fd9648f88b2167d7..8ef3b3212cb08cdb8c0f63269c691f1e58a0d7c4 100644
(file)
--- a/
sgml/Makefile
+++ b/
sgml/Makefile
@@
-6,7
+6,7
@@
all: sgml ../html/adminmanual.html ../txt/adminmanual.txt ../html/installation.h
sgml: ../cmd/Commands_en.hlp adminmanual.sgml usermanual.sgml
# Create the admin manual sgml file
sgml: ../cmd/Commands_en.hlp adminmanual.sgml usermanual.sgml
# Create the admin manual sgml file
- cat ../cmd/Commands_en.hlp | ./commands2sgml.pl
8
> ./adminmanual-cmd.sgml
+ cat ../cmd/Commands_en.hlp | ./commands2sgml.pl
9
> ./adminmanual-cmd.sgml
cat adminmanual.sgml adminmanual-cmd.sgml > ./adminmanual_en.sgml
# Create the user manual sgml file
cat adminmanual.sgml adminmanual-cmd.sgml > ./adminmanual_en.sgml
# Create the user manual sgml file