diff options
| -rw-r--r-- | doc/pdf/.ignore_me | 2 | ||||
| -rwxr-xr-x | doc/update.sh | 19 |
2 files changed, 21 insertions, 0 deletions
diff --git a/doc/pdf/.ignore_me b/doc/pdf/.ignore_me new file mode 100644 index 00000000..d285484d --- /dev/null +++ b/doc/pdf/.ignore_me @@ -0,0 +1,2 @@ +*** PLEASE DO NOT DELETE THIS FILE! *** +This file is used to track an otherwise empty directory in git. diff --git a/doc/update.sh b/doc/update.sh index 644b90a9..385173bb 100755 --- a/doc/update.sh +++ b/doc/update.sh @@ -41,7 +41,26 @@ for d in libarchive tar cpio; do done cd .. +# Rebuild Makefile in 'pdf' directory +cd pdf +echo > Makefile +echo "default: all" >>Makefile +echo >>Makefile +all="all:" +for d in libarchive tar cpio; do + for f in ../../$d/*.[135]; do + echo >> Makefile + echo `basename $f`.pdf: $f >> Makefile + echo " groff -mdoc -T ps $f | ps2pdf - - > `basename $f`.pdf" >> Makefile + all="$all `basename $f`.pdf" + done +done +echo $all >>Makefile +cd .. + # Convert all of the manpages to -man format. (cd man && make) # Format all of the manpages to text (cd text && make) +# Format all of the manpages in PDF directory. +(cd pdf && make) |