allow build to be called outside of the project directory
Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
This commit is contained in:
		
					parent
					
						
							
								a21f5f787d
							
						
					
				
			
			
				commit
				
					
						eb6687bd32
					
				
			
		
					 1 changed files with 4 additions and 0 deletions
				
			
		
							
								
								
									
										4
									
								
								build
									
										
									
									
									
								
							
							
						
						
									
										4
									
								
								build
									
										
									
									
									
								
							| 
						 | 
					@ -26,6 +26,7 @@
 | 
				
			||||||
# exit on any error
 | 
					# exit on any error
 | 
				
			||||||
#set -e
 | 
					#set -e
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					basedir=${0%/*}
 | 
				
			||||||
version=$(git describe)
 | 
					version=$(git describe)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
# Manpage and HTML
 | 
					# Manpage and HTML
 | 
				
			||||||
| 
						 | 
					@ -44,6 +45,9 @@ MAN1DSTDIR=${MANDIR}/man1
 | 
				
			||||||
MAN7DSTDIR=${MANDIR}/man7
 | 
					MAN7DSTDIR=${MANDIR}/man7
 | 
				
			||||||
SPEECHESDIR=docs/speeches
 | 
					SPEECHESDIR=docs/speeches
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					# Change to checkout directory
 | 
				
			||||||
 | 
					cd "$basedir"
 | 
				
			||||||
 | 
					
 | 
				
			||||||
case "$1" in
 | 
					case "$1" in
 | 
				
			||||||
    man)
 | 
					    man)
 | 
				
			||||||
        set -e
 | 
					        set -e
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue