mirrors/pgloader
1
0
Fork 0
mirror of https://github.com/dimitri/pgloader.git synced 2025-08-10 16:26:58 +02:00
Code Issues Projects Releases Wiki Activity

make site target for uploading html documentation

Browse Source
This commit is contained in:
dim 2007-12-08 20:19:32 +00:00
parent b367b562f1
commit 851eeaaac3
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Makefile
View File

@ -1,4 +1,4 @@
# $Id: Makefile,v 1.8 2007-12-03 10:10:00 dim Exp $ # $Id: Makefile,v 1.9 2007-12-08 20:19:32 dim Exp $
# #
# Makefile for debian packaging purpose, make install not intended to work. # Makefile for debian packaging purpose, make install not intended to work.
@ -33,6 +33,9 @@ install:
html: $(DOCS) html: $(DOCS)
asciidoc -a toc $< asciidoc -a toc $<
site: html
scp ${DOCS:.txt=.html} cvs.pgfoundry.org:htdocs
pgloader.1.xml: $(DOCS) pgloader.1.xml: $(DOCS)
asciidoc -d manpage -b docbook $< asciidoc -d manpage -b docbook $<