boost/graph
2
0
Fork 0
mirror of https://github.com/boostorg/graph.git synced 2026-01-19 04:12:11 +00:00
Code Issues Projects Releases Wiki Activity

Replace /bin/bash with /bin/sh

Browse Source 
/bin/bash is a Linuxism.  /bin/sh is portable, and this script isn't
using any bash-specific features.
This commit is contained in:
Alan Somers
2017-07-27 14:34:07 -06:00
parent 74115a2a1e
commit 726e9530d6
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
doc/grid_graph_export_svg.sh
View File

@@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh
#=======================================================================
# Copyright 2009 Trustees of Indiana University.
@@ -16,4 +16,4 @@ inkscape --export-png grid_graph_unwrapped.png --export-id g3150 --export-id-onl
inkscape --export-png grid_graph_wrapped.png grid_graph_unindexed.svg
# Indexed, unwrapped
inkscape --export-png grid_graph_indexed.png grid_graph_indexed.svg
inkscape --export-png grid_graph_indexed.png grid_graph_indexed.svg